f：写像 (map) X：定義域, 始域 (demain) Y：終域 (codomain) f : Ｘ→ Y 全射・単射・全単射 全射 (上への写像, surjection) f(X) = Y つまり Y の全ての元を指す → があること 単射 (1対1写像, injection) 異なる → が Y の同じ元を指さないこと 全単射 (上…