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