10.5.ι. Η R είναι σχέση ισοδυναμίας:
Για a, b, c G, χρησιμοποιώντας σε κάθε περίπτωση ότι το Η είναι υποομάδα της G, έχουμε:
1. aa-1 = e H, άρα a R a.
2. a R b ab-1 H ba-1 = (ab-1)-1 H b R a.
3. a R b, b R c ab-1 H, bc-1 H ac-1 = (ab-1) (bc-1) H a R c.