Go backward to Reflexive Closure
Go up to Top
Go forward to Reachability and Edge Relation
Definition: The transitive closure of R on S is the smallest relation that contains R and is transitive on S:
transitiveS(R) := such R' subset S x S: R subset R' /\ R' is transitive on S /\ forall R": (R subset R" /\ R" is transitive on S) => R' subset R".
Add transitivity to relation (how?).