정의역 (domain)과 상 (image)

 

 

 

 

R을 집합 A에서 집합 B로 정의된 관계로 두면

 

R의 정의역은 dom(R)로 나타내며

 

R의 원소 (순서쌍)에서 첫번째 원소의 집합입니다.

 

 

 

 

 

R의 상은 im(R)로 나타내며

 

R의 원소 (순서쌍)에서 두번째 원소의 집합입니다.

 

 

 

 

 

예를들어

 

R = {(1,2), (2,3), (3,4)}라고 두면

 

dom(R) = {1, 2, 3}, im(R) = {2, 3, 4}가 됩니다.