Mengentheorie/Teilmenge und Inklusion/Definition

Teilmenge

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

${}T\subseteq M\,$

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