Equivalence of Definitions of Reflexive Transitive Closure

Theorem
Let $\mathcal R$ be a relation on a set $S$.

Then the reflexive transitive closure, $\mathcal R^*$, of $\mathcal R$ by any of the following definitions is the same: