#functions

Stanford CS103 Lecture 6：函數 I，從定義到單射與滿射證明

函數不只是一條公式：定義域、陪域、全域有定義與確定性缺一不可，而 involution、單射與滿射的量詞正好決定證明怎麼寫。