====== 이항 관계 ======

Binary relation. 주어진 [[집합]]의 두 원소(같을 수도 있다)에 대해서 임의로 관계를 지은 것. 물론 어떤 원소는 아무 원소와도 짝이 지어지지 않거나, 둘 이상의 원소와 짝이 지어지거나, 자기와 짝이 지어지거나 안 지어지거나 할 수 있다. 기호로 나타내면 집합 $$X$$에 대한 이항 관계 $$R$$은 [[곱집합]] $$X \times X = X^2$$의 [[부분집합]]이고, $$(a,b) \in R$$이면 간단하게 $$a\,R\,b$$, 그렇지 않으면 $$a\not\!R\,b$$로 표현한다.

[[수학]]과 [[전산학]]에서 이항 관계는 많은 수학 [[연산]]과 [[관계]], [[함수]] 등을 [[일반화]]하는 데 쓰인다. 이를테면 비교 연산자 $$=$$(대표적인 [[완전순서]]), $$\le$$(대표적인 [[부분순서]]), [[약수]]·[[배수]] 관계(대표적인 [[격자]]) 따위가 모두 이항 관계로 표현된다.

{{tag>수학}}