Lege functie
In de wiskunde is een lege functie een functie waarvan het domein de lege verzameling is. Hoewel op het eerste gezicht merkwaardig, is het begrip lege functie een gevolg van de formele definitie van het begrip functie. Een functie is immers een relatie tussen het domein en het codomein waarvoor bij ieder element uit het domein precies één element in het codomein is zodat het koppel tot de functie (de relatie) behoort. Met de lege verzameling als domein voldoet de relatie met een  lege grafiek als relatie aan deze voorwaarde. Voor de verzameling  als codomein is de functie:

een lege functie. Deze is eenduidig bepaald, immers, als:
,
dan is

,

dus

.

Dat niet alle lege functies aan elkaar gelijk zijn, berust op de formele definitie, waarin ook het codomein deel uitmaakt van de functie. Zo zijn ook de functies  en  formeel verschillend.

Het is formeel mogelijk te spreken van de grafiek van een lege functie. De grafiek  van een lege functie  met codomein  is de lege verzameling, aangezien de grafiek een deelverzameling moet zijn van het cartesisch product  van het domein en het codomein. 

Een speciaal geval is nog de lege functie  die de identieke afbeelding is op de lege verzameling. Het bestaan hiervan is vereist in de categorietheorie opdat de categorie van verzamelingen inderdaad een categorie is.

Wiskundige functie