一対一対応

デジタル大辞泉

いちたいいち‐たいおう【一対一対応】

読み方：いちたいいちたいおう

数学で、集合Mから集合Nへの写像fによって、集合Mの異なる要素に対して集合Nの異なる要素が必ず対応するとき、この写像fを1対1対応であるという。

ウィキペディア

全単射

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/11/10 08:10 UTC 版)

数学において、全単射（ぜんたんしゃ）あるいは双射（そうしゃ）(bijective function, bijection) とは、写像であって、その写像の終域となる集合の任意の元に対し、その元を写像の像とする元が、写像の定義域となる集合に常にただ一つだけ存在するようなもの、すなわち単射かつ全射であるような写像のことを言う。例としては、群論で扱われる置換が挙げられる。