(+)분류 : 가져온 문서/오메가
집합 S 위에서 정의된 이항관계 R이 다음 명제
- 임의의 x\\in S에 대해 (x,x)\\in R (반사성)
- 임의의 x,y\\in S에 대해 (x,y)\\in R이면 (y,x)\\in R (대칭성)
- 임의의 x,y,z\\in S에 대해 (x,y)\\in R이고 (y,z)\\in R이면 (x,z)\\in R (추이성)
를 모두 만족하면 R을 동치관계(Equivalence relation)라고 한다. (x,y)\\in R이면, x는 y와 동등하다고 하고 x \\sim y로 나타낸다.
