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