\begin{definition}\label{D1_1_04}
Eine Menge die kein Element besitzt heißt \textbf{leere Menge} und wird mit $\left\{\ \right\}$ oder auch $\emptyset$ bezeichnet. Die leere Menge zählt verabredungsgemäß zu den endlichen Mengen.
\end{definition}