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.