(This means that every element of the group belongs to precisely one conjugacy class, and the classes Cl(a) and Cl(b) are equal if and only if a and b are conjugate, and disjoint otherwise.)
(Αυτό σημαίνει ότι κάθε στοιχείο της ομάδας ανήκει σε ακριβώς σε μία κλάση ισοδυναμίας, και οι κλάσεις των Cl(a) και Cl(b) είναι ίσες αν και μόνο αν a και b είναι συζυγής, και ξένα σύνολα διαφορετικά.)