Conjugacy is Equivalence Relation

Theorem
Conjugacy is an equivalence relation.

Reflexive

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

Symmetric
$$ $$ $$ $$ $$

Transitive
$$ $$ $$ $$