数学において、単射あるいは単写（たんしゃ、）とは、写像であって、その値域に属する元はいずれもその定義域のただ一つの元の像として表されるようなもののことをいう。一対一（いったいいち、）の写像ともいう。似ているが一対一対応は全単射の意味で使われるので注意が必要である。集合 "A" を定義域、集合 "B" を値域とする写像 "f": "A" → "B" が条件を満たすとき、 "f" を単射 () とよぶ。あるいは "f" は（写像として）単射である () という。対偶をとれば、"f" が単射である条件はとも表せる。正の実数 "x" に対して、その自乗 "x" を対応させる写像 "f": R → R は単射である。ただし、正の実数全体のなす集合を R と表した。実際、"x

出典:wikipedia