Eine Menge A ist Teilmenge (oder Untermenge) einer Menge B, wenn aus a ∈ A auch a ∈ B folgt.
Zwei Mengen A und B sind disjunkt, wenn sie keine gemeinsamen Elemente besitzen, d.h wenn aus a ∈ A folgt a ∈ B.
Eine Teilmenge von {2,4,8,9} enthält ein paar Elemente der Grundmenge aber nicht die Elemente 4 und 9, da die Teilmenge disjunkt zu {4,9} sein muss.
