Äquivalenzklassen

Eine Äquivalenzrelation in einer Menge A bewirkt eine Aufteilung von A in nichtleere paarweise disjunkte Teilmengen, Äquivalenzklassen.

heißt Äquivalenzklasse von a bezüglich R. Für Äquivalenzklassen gilt:

Diese Äquivalenzklassen werden zu einer neuen Menge, der Faktormenge A /_R, zusammengefaßt:

Eine Teilmenge der Potenzmenge heißt Zerlegung von , wenn