Boş fonksiyon

Boş fonksiyon, matematikte, tanım kümesi boş küme  olan fonksiyon türü. Her  kümesi için böyle bir fonksiyon vardır.

Boş bir fonksiyonun grafiği,  kartezyen çarpımının alt kümesidir. Çarpım boş olduğundan bu tür alt kümeler boş kümedir. Boş alt küme geçerli bir grafiktir, çünkü boş tanım kümesindeki her  için, değer kümesi  'da  olan benzersiz bir  vardır. Bu ifade, tanım kümesinde  olmadığı için anlamsız kabul örneğidir.

Çoğu yazar, sabit fonksiyon terimini tanımlarken boş fonksiyonun tanımlı olup olmadığına bakmadan en uygun tanımı kullanır. Bazen, boş fonksiyonun sabit olduğunu düşünmemek en iyisidir ve bu durumlarda görüntü kümesine referans olan bir tanım tercih edilir.

Kaynakça 
 Herrlich, Horst and Strecker, George E., Category Theory, Heldermann Verlag (2007).

Küme teorisinde genel kuramlar
İşlevler
Fonksiyon türleri
Hiçlik