In der Mathematik heißt eine Menge T Teilmenge der Menge M, wenn jedes Element aus T ebenfalls zu der Menge M gehört.
Z.B. ist T={2,4,6,8,…} die Menge der positiven ganzen Zahlen eine Teilmenge der natürlichen Zahlen IN={1,2,3,4,5,6,7,8,…}.
Die leere Menge {} ist Teilmenge einer jeden Menge M.