Leere Funktion

Als leere Funktion bezeichnet man in der Mathematik, speziell in der Mengenlehre, eine Funktion, deren Definitionsbereich die leere Menge ist. Für jede Menge $A$ gibt es genau eine solche Funktion

f_{A}\colon \emptyset \rightarrow A

.

Der Graph einer leeren Funktion ist die leere Menge.

Nachweise

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.