전단사 함수는 단사성과 전사성을 동시에 만족하는 함수이다. 정의역과 공역의 원소가 하나씩 정확히 대응한다.
원리
단사는 서로 다른 입력이 같은 출력으로 합쳐지지 않는 성질이고, 전사는 공역의 모든 원소가 어떤 입력의 출력이 되는 성질이다.
예시
유한한 학생 목록과 좌석 목록 사이에 학생마다 다른 좌석을 배정하고 빈 좌석도 없다면 전단사 대응이다.
주의할 점
단사·전사는 함수식만이 아니라 정의역과 공역에 의존한다. 전단사 함수에는 역함수가 있지만 정보가 합쳐지는 함수는 공역 전체에서 역함수를 정의할 수 없다.