En slik delmengde er kalt en . Hver ekvivalensklasse er ikke-tom, siden de minst inneholder elementet . De er også parvis disjunkte. Tilsammen gir dette at mengden av ekvivalensklasser er en partisjon av .