Als leere Funktion bezeichnet man in der Mathematik, speziell in der Mengenlehre, eine Funktion, deren Definitionsbereich die leere Menge ist. Für jede Menge gibt es genau eine solche Funktion
Der Graph einer leeren Funktion ist die leere Menge.
Nachweise Bearbeiten
- Horst Herrlich, George E. Strecker: Category Theory. Heldermann Verlag (2007, englisch).