Reflexive Closure

The reflexive closure of a binary relation R on a set X is the minimal reflexive relation R^' on X that contains R. Thus aR^'a for every element a of X and aR^'b for distinct elements a and b, provided that aRb.

See also

Reflexive, Reflexive Reduction, Relation, Transitive Closure

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Reflexive Closure." From MathWorld--A Wolfram Web Resource.

Subject classifications