Die
leere Menge ist ein grundlegender Begriff aus der
Mengenlehre. Man bezeichnet damit die
Menge, die keinerlei Elemente enthält. Da Mengen über ihre Elemente charakterisiert werden und zwei Mengen genau dann gleich sind, wenn sie dieselben Elemente haben (siehe
Extensionalitätsaxiom der Mengenlehre), gibt es nur eine einzige leere Menge.