예제
,
단계 1
에서 의 모든 값에 대해 하나의 값이 존재하므로 이 관계는 함수입니다.
이 관계는 함수입니다.
단계 2
정의역은 의 모든 값의 집합입니다. 치역은 의 모든 값의 집합입니다.
정의역:
치역:
단계 3
에서 의 모든 값에 대해 하나의 값이 존재하므로 이 관계는 함수입니다.
이 관계는 함수입니다.
단계 4
정의역은 의 모든 값의 집합입니다. 치역은 의 모든 값의 집합입니다.
정의역:
치역:
단계 5
첫 번째 관계 의 치역은 두 번째 관계 의 정의역과 같습니다. 그러나, 첫 번째 관계 의 정의역이 두 번째 관계 의 치역과 같지 않으므로, 는 의 역이 아니며 반대의 경우 역시 마찬가지입니다.
는 의 역이 아닙니다