\begin{definition}\label{D1_1_12}
Seien $A, B$ zwei beliebige Mengen. Die Menge $A$ heißt eine \textbf{Teilmenge} der Menge $B$, wenn für jedes $x \in A$ auch $x \in B$ folgt. Man schreibt dann $A \subset B$ und sagt die Menge $A$ ist in der Menge $B$ enthalten. Ist $A$ keine Teilmenge von $B$ beziehungsweise nicht enthalten in $B$, dann schreibt man $A \not \subset B$.
\end{definition}