上への1対1の写像(全単射)

全単射の図

全単射の図

上への写像であり、かつ1対1の写像でもあるものを、上への1対1写像 (onto and one-to-one corespondence)、または全単射 (bijection) という。

特に、集合 $A$ から集合 $A$ への全単射のことを、置換 (substitution) ともいう。

吹き出し上への1対1の写像(全単射)

全単射であるならば、$B$ の要素の個数は $A$ と必ず等しいことに注意しよう。