Es seien ${\displaystyle {}T}$ und ${\displaystyle {}M}$ Mengen. Man sagt, dass ${\displaystyle {}T}$ eine Teilmenge von ${\displaystyle {}M}$ ist, wenn jedes Element von ${\displaystyle {}T}$ auch ein Element von ${\displaystyle {}M}$ ist. Diese Beziehung drückt man durch

${\displaystyle {}T\subseteq M\,}$

aus und sagt auch, dass eine Inklusion ${\displaystyle {}T\subseteq M}$ vorliegt.