Bei einer Klasseneinteilung der Menge A sind die Teilmengen paarweise disjunkt, das bedeutet:
Es gibt Teilmengen, deren Schnittmenge leer ist. Die Schnittmenge von je zwei verschiedenen Teilmengen kann leer sein. Die Schnittmenge von je zwei verschiedenen Teilmengen ist stets leer. Die Vereinigung aller Teilmengen ergibt wieder die Menge A.