Conjugacy in a group is an [equivalence relation](/page/Equivalence%20Relation): every element is conjugate to itself, conjugacy is symmetric, and conjugacy is transitive. This result justifies treating conjugacy classes as the equivalence classes of the conjugation relation.