전사 함수(全射函數, surjection, 또는 surjective function)는 임의의 공역의 원소에 대응하는 정의역이 원소가 한 개 이상 존재하는, 즉 공역과 치역이 같은 함수를 말한다.
분류: 집합론