즉, 다음과 같이 |X|(정의역 개수) ≤ |Y|(공역 개수)가 됩니다.

그림 11-20 | 단사함수

전단사함수

전단사함수를 화살에 비유하자면, 집합 Y의 원소에 한 개씩만 화살이 꽂혀야 하고 빈 과녁도 없어야 합니다. 즉, 다음과 같이 |X|(정의역 개수) = |Y|(공역 개수)가 됩니다.

그림 11-21 | 전단사함수

연습 문제

다음은 전사함수인가요? 단사함수인가요?

그림 11-22 | y = f(x) 함수