곱집합 $A \times B$의 부분집합
‘$A$에서 $B$로의 관계’는 아래와 같이 표기. 명제함수 $P$ 가 관계를 특정지음
$$ \Re = (A, B, P(x, y)) $$
관계 $\Re$의 해집합 $\Re^*$은 아래와 같음. 명제함수를 참이 되게 하는 모든 순서쌍들의 곱
$$ \Re^*=\{(x,y)| x\in A, y\in B, P(x,y)~ \text{is True}\} $$