Hvis elementet tilhører samme restklasse, er slik at må være et element i . Disse to elementene sies da å være ekvivalente slik at alle elementene til gruppen kan deles opp i ekvivalensklasser som består av disse restklassene. Hver kan representeres ved et enkelt element som tilhører restklassen.