Teilmenge und Obermenge
Teilmenge oder Untermenge:
Eine Menge Y ist enthalten in einer anderen Menge X (Y ist eine echte
Teilmenge von X,
Schreibweise: 
oder 
),
wenn jedes Element 
auch Element von X ist und X und Y nicht
identisch sind.
.
Die Menge der Zweifamilienhäuser ist Teilmenge der Menge aller Gebäude.
und 
.
X ist
unechte Teilmenge von Y (und umgekehrt).
Nach DIN 5473 ist 
das Zeichen für Enthaltensein
und 
das Zeichen für echtes Enthaltensein.
Obermenge, ist X Teilmenge von Y, so ist umgekehrt Y Obermenge
von X.
Es gelten die Regeln
Reflexivität:
Transitivität:
Stets gilt: 
.
