Definition:Transitive Reduction/Relation Theory
< Definition:Transitive Reduction(Redirected from Definition:Transitive Reduction of Relation)
Jump to navigation
Jump to search
Definition
Let $\RR$ be a relation on a set $S$.
A transitive reduction of $\RR$ is denoted $\RR^-$, and is defined as a minimal relation on $S$ which has the same transitive closure as $\RR$.
Also see
- Results about transitive reductions can be found here.