全単射
数学において、全単射(ぜんたんしゃ)あるいは双射(そうしゃ)(bijective function, bijection) とは、写像であって、その写像の終域となる集合の任意の元に対し、その元を写像の像とする元が、写像の定義域となる集合に常にただ一つだけ存在するようなもの、すなわち単射かつ全射であるような写像のことを言う。例としては、群論で扱われる置換が挙げられる。
全単射であることを1対1上への写像[上への1対1写像] (one-to-one onto mapping)あるいは1対1対応 (one-to-one correspondence) ともいうが、紛らわしいのでここでは使用しない。
写像 f が全単射のとき、f は可逆であるともいう。