주어진 집합 $A$에 대하여 $A$ 위에서 정의된 이항관계(binary relation)이란, $A$의 원소들로 이루어진 순서쌍들의 모임이다. 즉, 곱집합 $A \times A$의 부분집합으로 이해할 수 있다. 이제부터 $R$을 집합 $A$ 위의 이항관계라 하자.... Read more »