#functions

函數 I，從定義到單射與滿射證明｜Stanford CS103 第 6 堂

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