\begin{definition}\label{D1_1_13}
Jede Teilmenge einer Menge $A$, die weder leer noch gleich $A$ ist, heißt echte Teilmenge von $A$.
\end{definition}