ฟังก์ชันว่าง

ฟังก์ชันว่าง () ในทางคณิตศาสตร์คือฟังก์ชันที่มีโดเมนเป็นเซตว่าง สำหรับแต่ละเซต A จะมีฟังก์ชันว่างเช่นนั้นเพียงหนึ่งเดียวคือ

กราฟของฟังก์ชันว่างคือเซตย่อยของผลคูณคาร์ทีเซียน ∅ × A เนื่องจากผลคูณนี้เป็นเซตว่าง ดังนั้นจึงมีเซตย่อยเพียงเซตเดียวคือเซตว่าง ∅ เซตย่อยที่เป็นเซตว่างนี้เป็นกราฟที่สามารถใช้งานได้ เพราะสำหรับทุกค่า x ในโดเมน ∅ จะมี y เพียงหนึ่งเดียวในโคโดเมน A ที่ทำให้ (x,y) ∈ ∅ สิ่งนี้เป็นตัวอย่างหนึ่งของความจริงว่างเปล่า (vacuous truth) ด้วยเหตุผลว่า ไม่มี x อยู่ในโดเมน

อ้างอิง 
 Herrlich, Horst and Strecker, George E.; Category Theory, Allen and Bacon, Inc. Boston (1973).

ทฤษฎีเซต
ฟังก์ชันและการจับคู่
ชนิดของฟังก์ชัน
ความไม่มี