Conjugacy is Equivalence Relation

Theorem
Conjugacy is an equivalence relation.

Reflexive

 * $\forall x \in G: e_G \circ x = x \circ e_G \implies x \sim x$