Leere Menge

Die leere Menge ist eine Menge, die kein Element enthält. Man schreibt dafür entweder „$\emptyset$“ oder „{}“. Es gilt:

• Die leere Menge ist Teilmenge von jeder beliebigen Menge M: $\emptyset \subset M$
• Die einzige Teilmenge der leeren Menge ist die leere Menge.
• Die Schnittmenge einer beliebigen Menge M mit der leeren Menge ist die leere Menge: $M \cap \emptyset = \emptyset$
• Die Vereinigungsmenge einer beliebigen Menge M mit der leeren Menge ist die Menge M selbst: $M \cup \emptyset = M$