|
|
|
The transitive reduction of a binary Relation 
on a Set 
is the minimum relation 
on with the
same Transitive Closure as . Thus 
for any elements 
and 
of , provided that 
and there
exists no element 
of such that 
and 
.
See also Reflexive Reduction, Transitive Closure