[[분류:가져온 문서/오메가]] 집합 [math(S)] 위에서 정의된 이항관계 [math(R)]이 다음 명제 * 임의의 [math(x\in S)]에 대해 [math((x,x)\in R)] (반사성) * 임의의 [math(x,y\in S)]에 대해 [math((x,y)\in R)]이면 [math((y,x)\in R)] (대칭성) * 임의의 [math(x,y,z\in S)]에 대해 [math((x,y)\in R)]이고 [math((y,z)\in R)]이면 [math((x,z)\in R)] (추이성) 를 모두 만족하면 [math(R)]을 동치관계(Equivalence relation)라고 한다. [math((x,y)\in R)]이면, [math(x)]는 [math(y)]와 동등하다고 하고 [math(x \sim y)]로 나타낸다. == 영상 == [youtube(pR89T9SPFX4)] [Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])]
