Reflexive Reduction

The reflexive reduction of a binary relation R on a set X is the minimum relation R^' on X with the same reflexive closure as R. Thus aR^'b for any elements a and b of X, provided that a and b are distinct and aRb.

See also

Reflexive Closure, Relation, Transitive Reduction

Explore with Wolfram|Alpha

Cite this as:

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

Subject classifications