Tom funktion
![]() | Den här artikeln behöver källhänvisningar för att kunna verifieras. (2020-08) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Den tomma funktionen är inom matematiken en funktion vars definitionsmängd är den tomma mängden. Om man, som i mängdteorin, likställer en funktion med dess graf[särskiljning behövs] är den tomma funktionen lika med den tomma mängden, varvid det alltså finns en unik tom funktion.
I kategorin av mängder finns emellertid en unik tom funktion för varje mängd A, vilket innebär att den tomma mängden är ett initialt objekt.