치역과 정의역

"사상 f에 의한 상" 으로 이루어진 집합인 { f(x1), f(x2) , ... , f(xn)} 을 "사상 f의 치역" 이라고 한다.

그리고 "사상 f의 치역" 이라는 명칭과 호응시키기 우해서 굳이 집합 X를 특별히 "사상 f의 정의역" 이라고 부르는 경우가 있다. 

"사상 f의 치역" 과 집합 Y의 관계는

{ f(x1), f(x2), ..., f(xn) } = Y 인 경우도 있지만,

{ f(x1), f(x2), ..., f(xn) } ⊂ Y 인 것이 일반적이다.