집합
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로 나타낸다.
