編集この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。写像であって、その写像の終域となる集合の任意の元に対し、その元を写像の像とする元が、写像の定義域となる集合に常にただ一つだけ存在するようなもの、すなわち単射かつ全射であるような写像のことを言う。例としては、群論で扱われる置換が挙げられる。いうが、紛らわしいのでここでは使用しない。全単射のとき、fは可逆であるともいう。この用語はブルバキによる。}}b=f(a)}が成り立つことと等価である。!}に置き換えればよいことがすぐに分かる。