Transitive Closure of Reflexive Symmetric Relation is Equivalence

Theorem
Let $S$ be a set.

Let $\mathcal R$ be a symmetric and reflexive relation on $S$.

Then the transitive closure of $\mathcal R$ is an equivalence relation.

Proof
Let $\sim$ be the transitive closure of $\mathcal R$.

By the definition of transitive closure:
 * $\sim$ is transitive.

By Transitive Closure of Reflexive Relation is Reflexive:
 * $\sim$ is reflexive.

By Transitive Closure of Symmetric Relation is Symmetric:
 * $\sim$ is symmetric.

Thus $\sim$ is an equivalence relation.