⠀
Definition: Die leere Funktion
Da sich aus der leeren Menge alles schließen lässt, lässt sich die leere Menge auch als Menge geordneter Paare / Tupel betrachten.
Daher lässt sich die leere Menge auch als Definitionsbereich einer Abbildung wählen.
Diese Funktion ist für alle Mengen
definiert: Die Abbildungsvorschrift lässt sich hier beliebig wählen, bspw.