f:写像 (map) X:定義域, 始域 (demain) Y:終域 (codomain) f : X→ Y 全射・単射・全単射 全射 (上への写像, surjection) f(X) = Y つまり Y の全ての元を指す → があること 単射 (1対1写像, injection) 異なる → が Y の同じ元を指さないこと 全単射 (上への1対1写像, 双射, bijection) 全射でありかつ単射であること つまり XとYの全ての元が1対1に対応していること 全単射であれば逆写像が定義できる 例 f:R→R … 全射でも単射でもない f:R→[0,∞) … 全射だが単射ではない f:[0…