Eine Partition von $A$ ist eine Familie nichtleerer, paarweise disjunkter Teilmengen, deren Vereinigung $A$ ist.
Äquivalenzrelationen und Partitionen beschreiben dieselbe Struktur aus zwei Blickwinkeln.