관계_{(r5 RAW)}

[[분류:집합론]]
[include(틀:다른 뜻, 설명1=그렇고 그런 관계, 문서명1=성관계)]
[목차]
== 개요 ==
어떤 [[집합]] 내 요소들 사이에 성립하는 성질이나 특성을 예 또는 아니오로 나타내는 방법. 성질이라곤 했으나 수학적으로 귀납적으로 어떤 방식으로든 나열할 수 있으면 그건 관계이다.

== 정의 ==
[[집합]] [math(A)] 위의 [math(n)]항 관계 [math(R)]은 [math(A^n)]의 [[부분집합]]으로 정의된다.

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

관계(r5 RAW)

관계_{(r5 RAW)}