관계_(r5)

어떤 집합 내 요소들 사이에 성립하는 성질이나 특성을 예 또는 아니오로 나타내는 방법. 성질이라곤 했으나 수학적으로 귀납적으로 어떤 방식으로든 나열할 수 있으면 그건 관계이다.

집합 $A$ 위의 $n$항 관계 $R$은 $A^n$의 부분집합으로 정의된다.

집합론에선 주로 이항 관계를 다룬다. 이 경우 보통 중위 표기법으로 쓰는데, 두 $x, y in A$가 서로 $R$이라는 관계를 가진다면 $xRy$라고 적는 식.