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$$.

Symmetric
$$ $$ $$ $$ $$

Transitive
$$ $$ $$ $$