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 ReductionExplore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Reflexive Reduction." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/ReflexiveReduction.html