수학에서 전단사함수(全單射函數, bijection)는 집합 X에서 Y로의 함수 f 중에서 모든 y에 대해 f(x)=y를 만족하는 x가 하나만 있는 함수를 말한다. 일대일 대응이라고도 한다.
