出典:デジタル大辞泉(小学館)

全射であり、単射でもある写像。集合Mから集合Nへの写像で、値域が集合Nと一致し、かつ、集合Mの異なる二つの要素に集合Nの異なる要素が対応するもの。