동치관계

다른 뜻에 대한 내용은 문서

, '이퀄'로 줄여부르는 말에 대한 내용은 이퀄라이저 문서

참고하십시오.

수학기초론 Foundations of Mathematics
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px"	다루는 대상과 주요 토픽
수리논리학	논리 · 논증{귀납논증 · 연역논증 · 귀추 · 유추} · 공리 및 공준 · 증명{증명보조기 · 자동정리증명 · 귀류법 · 수학적 귀납법 · 반증 · 더블 카운팅 · PWW} · 논리함수 · 논리 연산 · 잘 정의됨 · 조건문(조각적 정의) · 명제 논리(명제 · 아이버슨 괄호 · 역 · 이 · 대우) · 양상논리 · 술어 논리(존재성과 유일성) · 형식문법 · 유형 이론 · 모형 이론
집합론	집합(원소 · 공집합 · 집합족 · 곱집합 · 멱집합) · 관계(동치관계 · 순서 관계) · 순서쌍(튜플) · 서수(하세 다이어그램 · 큰 가산서수) · 수 체계 · ZFC(선택공리) · 기수(초한기수) · 절대적 무한 · 모임
범주론	범주 · 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성
계산가능성 이론	계산 · 오토마타 · 튜링 기계 · 바쁜 비버 · 정지 문제 · 재귀함수
정리
드모르간 법칙 · 대각선 논법 · 러셀의 역설 · 거짓말쟁이의 역설 · 뢰벤하임-스콜렘 정리 · 슈뢰더-베른슈타인 정리 · 집합-부분합 정리 · 퍼스의 항진명제 · 굿스타인 정리 · 완전성 정리 · 불완전성 정리(괴델 부호화) · 힐베르트의 호텔 · 연속체 가설 · 퍼지 논리
기타
예비사항(약어 및 기호) · 추상화 · 벤 다이어그램 · 수학철학
틀:논리학 · 틀:이산수학 · 틀:이론 컴퓨터 과학 · 철학 관련 정보 · 논리학 관련 정보 · 수학 관련 정보		}}}}}}}}}

1. 개요2. 정의

2.1. 동치관계의 비교2.2. 관련 문서

3. 등호 '='4. 동치류(equivalence class)

4.1. 동치관계와 분할(partition)4.2. 상집합으로의 사영(projection)과 명확성(well-definedness)

5. 예시6. 관련 문서

1. 개요

同値關係 / equivalence relation

논리학이나 수학, 특히 집합론에서 쓰이는 도구 중 하나. 어떤 두 객체가 서로 "같다"는 추상적 개념을 기호화 했다. 서로 관련이 있다는 이항 관계보다 명확하다.

위에서 "같다"는 개념이란 두 객체가 질적으로 같다는 개념을 포착하고자 하는 것이다. 예를 들어 화면 상에서 서로 다른 픽셀로 표시되는 1과 1이라는 두 문자는 공간적으로 떨어져 있으므로 수적으로는 다르지만 수 1을 나타낸다는 점에서는 질적으로 같다고 볼 수도 있다. 도형의 합동도 비슷한 예시다.

2. 정의

어떤 이항관계 [math(\sim)]가 다음 세 조건을 만족시킨다고 하자.

임의의 객체 [math(a)], [math(b)], [math(c)]에 대해,
* (반사성, Reflexive) [math(a\sim a)]
* (대칭성, Symmetric) [math(a\sim b)] 면, [math(b\sim a)]다.
* (추이성, Transitive) [math(a\sim b)]이고 [math(b\sim c)]면 [math(a\sim c)]다.

그러면 이 이항관계 [math(\sim)]를 동치관계라 부른다. 실제로 어떤 이항관계가 동치관계임을 보일 때에는 이 세 가지를 일일이 보이면 된다. ~~참 쉽죠?~~ 다만, 대개는 저 3개를 일일이 보이는 작업은 엄청 귀찮거나 보일 필요도 없이 당연한 것 취급을 받는다. 대칭성이나 추이성의 증명이 생각보다 까다로울 때가 있긴 하지만, 그럴 경우 대개 정의가 어딘가 맛간 거라고 생각하는 편이 더 낫다. ~~반사성이 까다로울 정도면 뭔가가 심각하게 잘못된 것일 수도 있다~~

단, 이 때 동치관계가 꼭 '같은 객체다'는 의미만 지니지는 않는다. 예를 들어 한 학교에 1반, 2반, 3반이 있다고 할 때, '같은 반이다'라는 관계도 동치관계이다. (굳이 '같다'로 이 동치관계를 보고 싶다면, 학생의 여러 속성 중 소속 반만 떼어서 '같다'고 이해해도 되기는 하다....만, '같은 학생이다'는 말과는 억만광년 차이가 있다는 게 포인트.) 이 관계가 세 조건을 만족하는 지는 직접 확인해봐도 좋다.[1]

수학적으로는 가장 흔하게 드는 예시는 '특정 수로 나눠서 나머지가 같은 수들'끼리 묶는 것이다. 예를 들어 1부터 10까지 정수가 모여있을 때, 3으로 나누어서 나머지가 같은 수들을 찾아보자. 나머지가 0인 수는 3, 6, 9이고, 나머지가 1인 수는 1, 4, 7, 10이고, 나머지가 2인 수는 2, 5, 8이다. 이때, '나머지가 같다'는 건 위에 나온 반사성[2], 대칭성[3], 추이성[4]을 모두 만족하기에 동치 관계이고, 따라서 3~6 혹은 2~8은 모두 동치관계로 연결되었다고 할 수 있다.[5] 이때 3과 6이 동일한 수는 아니지만 엄연한 동치관계(3~6)이다. 위에서도 언급했듯이 '질적으로 같은 것'(여기서는 나머지가 같다는 특징)이지, 객체가 동일함을 가리키진 않는 것이다.[6]

2.1. 동치관계의 비교

동치관계 간에 비교하는 개념도 있다. 같은 집합 [math(A)]에 대해 정의된 두 동치관계 [math(\sim)] 과 [math(\thickapprox)]이

[math(\forall x,y\in A;\;x\sim y\to x\thickapprox y)]

일 때, [math(\thickapprox)]는 [math(\sim)]보다 엉성하다(coarser) 혹은 [math(\sim)]는 [math(\thickapprox)]보다 섬세하다(finer)고 한다.
예를 들어, '같은 반이다'라는 관계는 '같은 분단이다'라는 관계에 비해 엉성하다고 할 수 있다. 같은 분단이면 같은 반이기 때문이다. 반대로 '같은 분단이다'라는 관계는 '같은 반이다'에 비해 섬세한 동치관계다.

한국 등지에서는 [math(\thickapprox)]보다 더 '섬세한' [math(\fallingdotseq)]를 쓰는 경우도 있다.

2.2. 관련 문서

3. 등호 '='

Equal
수적 동일성(numerical identity)를 나타낼 때 쓰는 기호다. '이것은 이것이다' 라고 확실한 값을 내리는 기호이기에 쓰는 사람도 보는 사람도 틀리지 않다면 이를 위반할 수 없다. 수학에서 핵심적인 수준을 넘어 수학의 시작이자 본질적인 목표다. 수학의 온갖 현란한 문자들은 이를 위반하지 않으며 그러고 싶지도 않고 만약 정확하다면 하고 싶어도 못 한다. 1차 논리에서 등호는 개체 변항을 연산항으로 취하는 기초 연산자로 정의된다.

많은 고차 논리 체계에서는 등호에 관하여 다음 정의 혹은 법칙을 받아들인다.

어떤 객체 [math(x)], [math(y)]에 대해 [math(x=y)]는, 임의의 술어(predicate)[7] [math(P)]에 대해 [math(P\left(x\right)\leftrightarrow P\left(y\right))]가 성립함을 말한다.

쉽게 표현하자면, 서로가 달라 보여도 나도 모르는 조건이 다르면 결국 본질적으로 같다는 말이다. 모든 논리식 안에서 두 객체를 서로 바꿔 쓸 수 있으면 이들은 논리적으로 같은 객체로 취급하는 것이다. 이는 수적 동일성을 논리적으로 생각할 때 유의미한 것 중 제일 섬세한(finest) 동치관계로 정의하는 것이라고도 볼 수 있다.[8] 철학에서는 흔히 "라이프니츠의 법칙(Leibniz's Law)"라고 불리며, 쌍조건문의 양 방향을 각각 다음과 같이 나눠 부르고는 한다.

동일자의 구별불가능성 원리:[9] $\forall x \forall y [x=y \to \forall P (P(x) \leftrightarrow P(y))]$
구별불가능자의 동일성 원리:[10] $\forall x \forall y [\forall P (P(x) \leftrightarrow P(y)) \to x=y]$

[11]

집합론에서는 집합의 수적 동일성에 관하여 다음과 같은 외연공리(Axiom of Extension)를 받아들인다. 제법 거창하게 쓰긴 했지만 '두 집합이 서로의 부분집합일 때, 그리고 서로의 부분집합일 때에만 두 집합은 같다'는, 사실상 집합론을 처음 배울 때 접하는 집합의 같음 그 자체다.

집합 [math(X)], [math(Y)]에 대해, "[math(X=Y)]"임은 "[math(k)]가 무엇이든지 [math(k\in X\leftrightarrow k\in Y)]"임과 필요충분조건 관계에 있다.

등호 기호 '='는 영국의 로버트 레코드라는 수학자가 1557년에 쓴 <지혜의 숫돌>에서 처음 사용했다. 이 책은 영어로 된 최초의 대수학 책으로 알려져 있다. 이 기호를 사용한 것에 대해 레코드는 "두 개의 평행선만큼 같은 것은 달리 없기 때문이다"라고 말했다. 그래서 옛날엔 더 넙적했다고.

반대로 이 등호에 슬래시가 그어지면([math(\neq)]) "다르다"라는 의미가 된다.

한국어에서 '='은 보조사 '은/는'으로 읽히기 때문에 초등학교 저학년 대상으로 해당 기호를 '등호'라고 읽는 것임을 밝히는 경우가 많다. 이런 한국어의 보조사 '은/는'의 용법상 한국어로 명제를 서술할 때에는 더 조심스러울 필요가 있다. 예를 들어 위에서 소개한 외연공리를 한국어로 서술할 때엔 '집합 [math(X)], [math(Y)]에 대해, [math(X=Y)]일 필요충분조건은, 그 어떤 [math(k)]에 대해서도 [math(k\in X\leftrightarrow k\in Y)]인 것이다'라고 진술하곤 하는데, 한국어의 보조사 은이 여기서 뜻하는 '문장 속에서 어떤 대상이 화제임을 나타내는 보조사'[12]로서의 용법으로 똑같이 쓰이는 다른 예를 분석해보자. 집합론에서 다루는 선택공리, 하우스도르프의 극대원리, 조른의 보조정리, 정렬원리 등의 여러 명제들은 모두 서로 필요충분조건 관계에 있으며 이는 집합론, 위상수학, 대수학 등을 공부하면서 수많은 단계에 걸친 순환 증명으로 확인할 수 있는데, 여기서 한 쌍만 가져와서 '선택공리가 성립할 필요충분조건은 하우스도르프의 극대원리가 성립함이다'라고 서술해보자. 여기서 보조사 은은 'if and only if(~할 때 그리고 ~할 때에만)'이라는 영어 서술이 의미하는 바와 같은 의미를 함의하지만, 이 보조사가 쓰이는 용법을 근거로 메타분석을 한다면, 이는 '선택공리의 필요충분조건은 하우스도르프의 극대원리_뿐이다'라는, 본래 이 명제가 주장하는 바에 부합하지 않는 오해의 여지를 쓸데없이 남기는 문장이 된다. 이는 한국어의 특성(을 공유하는 언어의 특성)이므로 한국어로 이러한 동치관계에 대해 서술할 때에는 보다 다듬어진 진술이 요구된다. 이런 점에서 '='를 한국어로 읽을 때에 동치관계에서 요구하는 성질을 강조한다면 '1+2는 3이다'보다는 '1+2는 3과 같다'라는 진술이 더 적절할 것이다.

4. 동치류(equivalence class)

동치관계가 집합 내의 원소에 대해서 정의된 것이면, 집합을 잘 변형하여 그 동치관계를 사실상 등호와 같은 것으로 볼 수 있다.

어떤 집합 [math(X)] 내의 원소에 대한 동치관계 [math(\sim)]를 생각하자. (이 때 [math(\sim)]는 '[math(X)] 위의 동치관계'라 부른다) 이 때 [math(a\in X)]의 동치류(equivalence class)는 다음 집합을 말한다.

[math(\left\{\,b:b\in X\land a\sim b\,\right\})]

나타내는 기호도 가지가지라서, [math(a)]에다가 바([math(overline{phantom{cdots}})], 위에 선 긋기)를 써서, [math(\overline{a})]라 할 때도 있고, 대괄호를 쳐서 [math(\left[a\right])]와 같이 나타낼 때도 있고(동치관계를 제대로 나타내야 할 때에는 아래첨자로 [math(\sim)]를 쓸 때도 있다), 하여간 책 따라 저자 따라 상황 따라 제각각이라 이 동치류에 대한 기호는 조심해서 볼 필요가 있다.[13](대수학이나 위상수학에서 동치류가 중요한 도구 중 하나다 보니 이 기호 선정 문제가 더 불거진다.)

어떤 동치류 [math(A)]를 [math(\left[a\right])]와 같이 쓸 때, [math(a)]를 동치류 [math(A)]의 대표원(representative)라 부른다. 단, 한 동치류의 대표원은 하나가 아닌 여러개일 수 있다.

예컨대, 1반, 2반, 3반이 있고 철수가 1반이라고 하면, 철수의 동치류는 1반이다. 즉 철수는 1반의 대표원이고, 1반 = [철수].

동치류의 모임을 상집합(商集合, quotient set)이라 부르고, (동치관계 [math(\sim)]에 의한 것을) [math(X/\sim )]로 나타낸다. 즉,

[math(X/\sim := \left\{\left[a\right] : a\in X\right\})]

와 같이 정의한다. 이 때 다음이 성립한다.

[math(a\sim b\leftrightarrow\left[a\right]=\left[b\right])](집합으로서) [14]

여기서 [math(X)] 위에서는 [math(\sim)]라는 동치관계가 그 상집합 [math(X/\sim )] 위에서는 등호라는 동치관계로 뒤바뀐 것을 알 수 있다.

상집합 개념으로 엉성함(coarser)/섬세함(finer) 용어 선정에 대한 이유도 어느 정도 설명할 수 있는데, 가령 ~가 ≈보다 섬세하다(finer)고 가정하면 [math(X/\sim )] 과 [math(X/\thickapprox)]를 구성하는 각 동치류는, [math(X/\sim )] 쪽이 [math(X/\thickapprox)]에 비해 덜 많은 원소를 지닌다. 곧 동치류를 일종의 "자갈"로 치면 섬세한 쪽([math(X/\sim )])이 더 자잘한 "자갈"을 지니고 있는 것.[15]

4.1. 동치관계와 분할(partition)

어떤 집합 [math(X)]의 부분집합의 모임 [math(\mathbf{P})]가 다음을 만족시킨다고 하자.[16]

[math(\mathbf{P}\neq \emptyset)]
임의의 [math(A,B\in\mathbf{P})]에 대해 [math(A\cap B= \emptyset)] 혹은 [math(A=B)]
모든 [math(x\in X)]에 대해, [math(A\in \mathbf{P})]가 존재하여 [math(x \in A)]이다.

그러면 [math(\mathbf{P})]를 [math(X)]의 분할(partition)이라 부른다. 이 때 다음이 알려져 있다.

임의의 분할 [math(P)]에 대해 어떤 [math(X)] 위의 동치관계 [math(\sim)]가 유일하게 존재해서 [math(\mathbf{P}=X/\sim)]이다.
임의의 [math(X)] 위의 동치관계 [math(\sim)]는 유일한 분할 [math(\mathbf{P})]에 대해 [math(X/\sim=\mathbf{P})]이다.

즉, [math(X)] 위의 동치관계와 [math(X)]의 분할 간에는 일대일대응이 있고, 이에 근거해 분할과 동치관계는 거의 같은 것으로 취급한다.

쉽게 말하자면, 전교의 학생들(집합 [math(X)])을 1~3반으로 나누었을 때, 분할([math(\mathbf{P})])이란 {1반, 2반, 3반}이란 집합이고, 이에 대응되는 동치관계 [math(a\sim b)]는 "학생 [math(a)], [math(b)]가 같은 반이라는 것"이다.
즉, 분할이 동치관계에 의해 유일하게 결정되고 역으로 동치관계가 분할에 의해 유일하게 결정되는 것은 어찌 보면 당연한 것이다.
위에서 나온 간단한 수학적인 예로 살펴보면, 1부터 10까지의 정수들(전체 집합 X)은 (3, 6, 9), (1, 4, 7, 10), (2, 5, 8), 이 세 집합으로 나눌 수 있다. 이 세 집합은 교집합이 없으며, 세 집합의 합집합은 전체 집합 X가 되므로 분할이라 할 수 있다. 이때, 이 숫자들을 무얼 기준으로 묶었느냐를 물을 수 있다. 집합 내의 특정 숫자들을 골라내 묶을 때 어떤 기준, 다르게 말하면 그 숫자들의 '공통점'이 있을 수 있다는 것이다. 위의 세 집합은 '3으로 나눠서 나머지가 같은 숫자들'이라는 특징을 쉽게 알 수 있다. 이 때 '3으로 나눠서 나머지가 같다'는 공통점의 부여는 다름아닌 '질적으로 같음'을 의미하는 '동치관계'이다. 이를 거꾸로 말하자면, 전체 집합에 속해있는 숫자들(원소들)에 '질적으로 같다고 할 수 있는 기준'(동치관계)을 부여해주면 그 기준에 따라 공통점이 있는 숫자들(원소들)끼리 묶을 수가 있고, 그러면 자연스럽게 전체 집합을 나눌 수 있는 것이다. 동치관계와 동치류를 이용한 분할의 정의는 이러한 표현을 보다 추상적이고 엄밀하게, 그리고 일반화한 것이다.

초등학교 수학에서는 가르기라는 이름으로 잠깐 등장한다.

4.2. 상집합으로의 사영(projection)과 명확성(well-definedness)

집합 [math(X)] 위의 동치관계 [math(\sim)] 및 그 상집합 [math(X/\sim)]에 대해 다음 함수를 생각하자.

[math(q:X\rightarrow X/\sim)]
([math(q(a) = \left[a\right])])

이 때 이 함수 [math(q)]는 전사함수(surjection; onto function)이고, 상집합으로의 사영(projection)이라 불린다. 기하학의 사영과 비슷한 점이라면 '[math(q)]의 동치류의 원소로서 구분된다'는 성질을 무시했다는 것 정도?

이 사영함수는 [math(f:X/\sim\rightarrow Y)]꼴의 함수를 정의할 때 유용하게 쓰인다. 무슨 말인고 하니, 보통 이런 함수에 대해 쓸 때는

[math(f\left(\left[a\right]\right)=xyz...)]

와 같은 식으로 정의되기 마련인데, 정작 [math(xyz...)] 부분이 [math(\left[a\right])]가 아니라 [math(a)] 자체에 대한 식으로 주어져 있을 때가 잦다. 곧, 대개 저런 함수를 정의할 때는 [math(f:X/\sim\rightarrow Y)]를 정의한다기보다는, 사영과의 합성함수 [math(f\circ q:X\rightarrow X/\sim\rightarrow Y)]를 정의하는 것이 일반적이다. 때문에 많은 경우, [math(f:X/\sim\rightarrow Y)]꼴 함수를 정의할 때는

(가정1) [math(F:X\rightarrow Y)]꼴 함수를 정의하고
(가정2) [math(x\sim y)]면 [math(F\left(x\right)=F\left(y\right))]를 보이고 나면
(결론) 유일한 함수 [math(f:X/\sim\rightarrow Y)]가 존재해서, [math(F=f\circ q)]으로 나타난다.

는 논리로 정의한다.

이와 같은 불편한/간접적인 방법을 쓰는 이유는, [math(f)]가 받는 변수는 엄밀히 말하면 동치류이지만, 정작 수식을 써서 함수를 정의해야 할 때는 대표원을 써서 정의하는데도 불구하고, 대표원이 하나로 정해지는 게 아니라서 [math(f)]의 결과값이 대표원에 따라 좌지우지되는 상황이 빈번하기 때문이다.[17] 그렇기 때문에 대표원에 무관하다는 것을 별도로 보일 필요가 있고, 그 과정을 반영한 것이 위에 제시한 3단계의 논리 흐름이다.

5. 예시

물론 등호([math(=)])가 제일 알기 쉬운 예시지만, 이 외에도 다양한 예가 있다.

실질적 동치([math(\leftrightarrow)])[18]
어떤 두 명제 [math(P)], [math(Q)]에 대해, [math(P)]에 대해 [math(Q)]가 필요충분조건이면 명제 [math(P)], [math(Q)]는 실질적 동치라고 말하고 [math(P\leftrightarrow Q)]와 같이 쓴다. 특히,

한 명제는 자기 자신과 실질적 동치이다.
[math(P)]에게 [math(Q)]가 필요충분조건이면 [math(Q)]에게 [math(P)]도 '충분필요'조건이고, ('필요'\'충분'조건이 각각 '충분'\'필요'조건으로 바뀐다)
[math(P)]에게 [math(Q)]가, [math(Q)]에게 [math(R)]이 필요충분조건이면 [math(P)]에게 [math(R)]은 필요충분조건이다. ('필요조건'과 '충분조건'으로 나눠서 보일 수 있다.)

도형의 합동([math(\equiv)])
대표적인 동치관계의 예 중 하나이다.

한 도형은 자기 자신과 당연히 합동이다.
두 도형 [math(A)], [math(B)]가 합동일 때, [math(B)], [math(A)]도 합동이다.
도형 [math(A)], [math(B)]가 합동이고 [math(B)], [math(C)]가 합동이면 [math(A)], [math(C)]도 합동이다.

도형의 닮음([math(\sim)])
희한하지만, 이것도 동치관계의 예 중 하나이다.

한 도형은 자기 자신과 닮음비 1로 닮음이다.
두 도형 [math(A)], [math(B)]가 닮음비 [math(x)]로 닮음이면, [math(B)], [math(A)]는 닮음비 [math(x^{-1})]로 닮음이다.
도형 [math(A)], [math(B)]가 닮음비 [math(x)]로 닮음이고, [math(B)], [math(C)]가 닮음비 [math(y)]로 닮음이면, [math(A)], [math(C)]는 닮음비 [math(xy)]로 닮음이다..

정수론의 법
정의는 해당 항목 참고. 정수 하나당 정수집합 위에 하나의 동치관계를 만들어 내기 때문에, 여러 개의 동치관계 간의 관계에 대한 정리가 이것저것 있다. 중국인의 나머지 정리가 그 중 하나.

함수 [math(f:X\rightarrow Y)]에 대해, [math(x\sim y\leftrightarrow f\left(x\right)=f\left(y\right))].
함수만 주어지면 어떻게 하든 만들어지는 동치관계이기 때문에 (구조를 가진 집합 간의 함수를 자주 다루는) 대수학이나 위상수학에서 마구 양산되는 형태의 동치관계이다. 여러모로 쓰임새가 있긴 하지만, 그 중 하나로 상집합 X/∼와 f의 치역이 거의 같은 집합 취급을 받는다는 것을 들 수 있고, 다른 예로 위의 명확성(well-definedness) 문제와의 관계를 들 수 있다.

한편, 근사된다(≒)란 표현은 대충 보면 동치관계인 것 같으면서도 동치관계가 아닌 예로 들 수 있다. 반사성과 대칭성은 비교적 자연스럽지만,

4 ≒ 4.5 및 4.5 ≒ 5 이지만 4, 5는 근사되지 않는다

와 같은 예시를 고려하면 (물론 '근사된다'라는 표현 자체가 애매하므로 이 예시가 적절한지는 각자 판단하시길) 추이성에서 문제가 생기는 것을 알 수 있다.

6. 관련 문서

[1] 수학과 논리학에서 잠시 벗어나 일상언어를 잠시 생각해보면, 대칭성을 만족시키는 관계는 생각보다 적다는 것을 알 수 있다. "'누구'는 '누구'의 여동생이다.", "'누구'는 '누구'의 아버지이다." 등등은 대칭성을 만족하지 않는다. ~~누구는 누구의 친구다. 누구는 누구의 가족이다. 누구는 누구의 동기다. 누구는 누구의 지연, 학연, 혈연이다.~~[2] 예: 4는 3으로 나누면 나머지가 1이고 4는 3으로 나누면 나머지가 1이다. 둘의 나머지는 같다. 따라서 4~4이다. 이게 다른 모든 숫자에도 적용된다.[3] 예: 4는 3으로 나누면 나머지가 1이고 7은 3으로 나누면 나머지가 1이다. 둘의 나머지는 같다. 따라서 4~7이다. 이때 4~7이면 7~4도 성립한다. 말의 순서를 바꾸어도 성립한다는 것이며 이게 다른 모든 숫자에 대해서도 성립한다.[4] 예: 4는 3으로 나누면 나머지가 1이다. 7도 3으로 나누면 나머지가 1이다. 둘의 나머지는 같으므로 4~7이다. 7을 3으로 나누면 나머지가 1이다. 10을 3으로 나누면 나머지가 1이다. 둘의 나머지가 같으므로 7~10이다. 이때 1과 10도 3으로 나눈 나머지가 같다. 따라서 4~7이고 7~10일 때 1~10도 성립한다. 이게 다른 모든 숫자에 대해서도 성립한다.[5] 더 자세하고 엄밀한 논의는 집합 기호와 논리 기호를 사용해 이 모든 과정을 집합의 관계로 표현해야 한다. 뱀발로, 말로 서술한 반사성, 대칭성, 추이성의 검증이 같은 말 반복에 말장난처럼 보일 수도 있으나, 이러한 당연해보이는 표현마저 엄밀하게 논리적으로 성립함을 따져나가는 게 핵심이다. 그리고 보다 추상적인 대상을 다루게 되면 반사성, 대칭성, 추이성을 따지는 게 더이상 당연한 말 반복으로 보이지 않게 된다. 나머지가 같은 걸로 묶는 게 굉장히 간단한 예라서 그 관계가 당연해보였을 뿐.[6] 물론 객체가 반드시 동일할 필요가 없을 뿐, 객체가 동일한 것도 동치관계의 일부이다. 수학적 표현을 쓰자면 임의의 집합 X위에서 정의된(엄밀히는 X×X에 속하는) R={(x, x)|x는 X의 원소}라는 관계는 자기자신에게만 성립하는 동치관계이다. 즉, X가 1부터 5까지의 정수라면, 해당 동치관계는 (1, 1), (2, 2), (3, 3), (4, 4), (5, 5), 이 다섯 개를 원소로 가지며, 따라서 1~1, 2~2, 3~3, 4~4, 5~5 라는 동치관계가 성립한다. 여기서 이 동치관계가 서술하는 것은 '객체가 같다'는 것에 다름없다. 즉, '객체가 같다'는 건 동치관계의 일부이며, 수학적으로는 가장 작은 동치관계이다.[7] 객체 하나를 받아 참, 거짓을 내놓는 함수. 사용하고 있는 형식논리 체계에 따라 그 정의가 약간씩 바뀔 수 있다.[8] 섬세함이라는 용어를 배제하고 말하면, "a=b면 모든 동치관계 ~에 대해 a~b이다"가 성립하게끔 =(등호)를 정의했다고 이해할 수 있다.[9] "동일자의 식별불가능성 원리"라고도 번역된다.[10] "식별불가능자의 동일성 원리"라고도 번역된다.[11] 단, 위 원리들은 술어의 양화가능성을 전제하고 있는데 이는 철학적으로 논란이 되는 사안이다. 술어의 양화가능성을 인정하는 것은 다수설이나 소수설이 논파된 것은 아니다.[12] 표준국어대사전 은⁴, 표준국어대사전 는¹ 참조.[13] 일단 이 문서에서는 [math(\left[a\right])]와 같이 나타낸다.[14] 이걸 증명하다 보면 왜 반사성, 대칭성, 추이성이 중요한 성질인지 자연스레 알 수 있다. 집합론에서만 쓰는 개념은 아니지만, 집합론에 응용했을 때 아주 편리한 개념인 것.[15] Munkres의 Topology에서 나온 비유이다. 원래는 위상공간을 비교할 때 엉성함(coarser)/섬세함(finer)을 설명하는 과정에서 나온 비유.[16] 요약하자면, [math(\biguplus \mathbf{P}=X)]라는 것으로, [math(\biguplus)]는, disjoint union 즉 서로소인 집합들의 합집합이다.[17] 함수는 한 값에 다른 값이 유일하게 대응되어야 한다는 성질을 가지는데, 지금 이 말은 정의하려는 함수가 그 성질을 가지고 있는지를 묻는 것과 같다. 그래서 함수로서 명확한지를 알아보는 문제라 하여 이 문제를 명확성(well-definedness)의 문제로 부른다.[18] "논리적 동치"와 같은 것으로 오해하기 쉽다. 양자 간의 차이는 동치 항목 참조.