Let be a Group
Let
We say and are conjugate if for some we have:

This is an equivalence relation.
Its equivalence classes are called conjugacy classes

Similarly, let
Then and are conjugate if for some