동치 관계

위키백과 ― 우리 모두의 백과사전.

동치 관계반사적, 대칭적, 추이적인 이항 관계를 뜻한다. 즉, 어떤 집합 X과 관계 ~이 있을 때, 임의의 원소 a, b, c에 대해

  • 반사관계: a ~ a
  • 대칭관계: a ~ b => b ~ a
  • 추이관계: a ~ b, b ~ c => a ~ c

가 성립한다는 것을 의미한다.

[편집]

[편집] 동치 관계가 아닌 예

  • 부등호 기호 >=는 동치관계가 아니다. 반사적(a \le a), 추이적(a \le b, b \le c이면 a \le c)이지만, 대칭적이지는 않다.