[요약] 집합 A에서 집합 B로 사상이 일어날 때, 정의역이 각각 다른 하나의 치역으로 사상이 일어날 때를 말한다. 즉, 일대일 사상이 일어나는 것이다. 사상(寫像) f : S₁→S₂에서 S₁의 임의의 서로 다른 두 개의 원소 X₁, X₂에 대해 그 상(像) f(X₁), f(X₂)가 S₂의 서로 다른 원소가 되는, 즉 f의 상이 되는 S₂의 원소 y의 원상(原像)이 S₁ 내의 단 하나의 원소 x일 때, f는 일대일 사상, 또는 단사라 한다.