두 집합 A, B에서 정의된 관계는 A의 원소와 B의 원소로 이루어진 순서쌍의 집합을 뜻합니다. 즉 관계 R은 A와 B의 데카르트 곱의 부분집합이 됩니다. (a,b)∈R일때 aRb라고 적으며 a는 b와 R 관계이다 (a is R-related to b)라고 읽습니다. 실수의 집합에서 크다, 작다, 같다, 크거나같다 등등도 모두 관계이며 ×의 부분집합으로 정의됩니다. 어떤 관계 R의 한 원소 (a,b)를 그림으로 다음과 같이 나타낼 수 있습니다. 관계의 특성을 이해할 때 이렇게 그림으로 나타내는 방식을 자주 사용합니다. 위의 정의는 정확히 말해 이항관계 (binary relation)입니다. 즉 어떤 두 대상 사이의 관계인 것이고 이것을 일반화시켜 n개의 대상 사이의 관계 (n항 관계 : n-ary rel..