The reflexive reduction of a binary relation on a set is the minimum relation on with the same reflexive closure as . Thus for any elements and of , provided that and are distinct and .

# Reflexive Reduction

## 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. https://mathworld.wolfram.com/ReflexiveReduction.html