กราฟของฟังก์ชันว่างคือเซตย่อยของผลคูณคาร์ทีเซียน ∅ × A เนื่องจากผลคูณนี้เป็นเซตว่าง ดังนั้นจึงมีเซตย่อยเพียงเซตเดียวคือเซตว่าง ∅ เซตย่อยที่เป็นเซตว่างนี้เป็นกราฟที่สามารถใช้งานได้ เพราะสำหรับทุกค่า x ในโดเมน ∅ จะมี y เพียงหนึ่งเดียวในโคโดเมน A ที่ทำให้ (x,y) ∈ ∅ สิ่งนี้เป็นตัวอย่างหนึ่งของความจริงว่างเปล่า (vacuous truth) ด้วยเหตุผลว่า ไม่มี x อยู่ในโดเมน
อ้างอิง
Herrlich, Horst and Strecker, George E.; Category Theory, Allen and Bacon, Inc. Boston (1973).
สิงหาคม 12, 2021
งก, นว, าง, บทความน, เก, ยวก, บฟ, งก, นทางคณ, ตศาสตร, สำหร, บฟ, งก, นทางว, ทยาการคอมพ, วเตอร, งก, นน, ลล, งกฤษ, empty, function, ในทางคณ, ตศาสตร, อฟ, งก, นท, โดเมนเป, นเซตว, าง, สำหร, บแต, ละเซต, จะม, เช, นน, นเพ, ยงหน, งเด, ยวค, displaystyle, varnothing, righ. bthkhwamniekiywkbfngkchnthangkhnitsastr sahrbfngkchnthangwithyakarkhxmphiwetxr duthi fngkchnnll fngkchnwang xngkvs empty function inthangkhnitsastrkhuxfngkchnthimiodemnepnestwang sahrbaetlaest A camifngkchnwangechnnnephiynghnungediywkhux f A A displaystyle f A varnothing rightarrow A dd krafkhxngfngkchnwangkhuxestyxykhxngphlkhunkharthiesiyn A enuxngcakphlkhunniepnestwang dngnncungmiestyxyephiyngestediywkhuxestwang estyxythiepnestwangniepnkrafthisamarthichnganid ephraasahrbthukkha x inodemn cami y ephiynghnungediywinokhodemn A thithaih x y singniepntwxyanghnungkhxngkhwamcringwangepla vacuous truth dwyehtuphlwa immi x xyuinodemnxangxing aekikhHerrlich Horst and Strecker George E Category Theory Allen and Bacon Inc Boston 1973 ekhathungcak https th wikipedia org w index php title fngkchnwang amp oldid 4727638, wikipedia, วิกิ หนังสือ, หนังสือ, ห้องสมุด,
