Alsleere Funktion bezeichnet man in derMathematik, speziell in derMengenlehre, eineFunktion, deren Definitionsbereich dieleere Menge ist.Für jedeMenge${\displaystyle A}$ gibt es genau eine solche Funktion

${\displaystyle f_A:\mathrm{\varnothing }\to A}$.

DerGraph einer leeren Funktion ist die leere Menge.

• Horst Herrlich, George E. Strecker:Category Theory. Heldermann Verlag (2007, englisch).

• Mengenlehre