Equivalence of Definitions of Reflexive Transitive Closure

Theorem
Let $\RR$ be a relation on a set $S$.

Proof
The result follows from:


 * Transitive Closure of Reflexive Relation is Reflexive


 * Reflexive Closure of Transitive Relation is Transitive


 * Composition of Compatible Closure Operators