Equivalence of Definitions of Transitive Closure (Relation Theory)/Intersection is Smallest/Proof 1
Jump to navigation Jump to search
By the definition of endorelation:
- $\RR \subseteq S \times S$.
Next we have that the Intersection of Transitive Relations is Transitive.
Thus $\RR^+$ is the smallest transitive relation on $S$ containing $\RR$.