집합론 '같다' 란 무엇인가('='의 정의)

 

 

 

이번 편은 '같다' 에 대해 알아보겠습니다.

 

 

 

그럼 시작하겠습니다.

 

 

 

 

 

 

우리가 익히 아는 '=' 의 본질은 동치관계를 만족한다.

이러한 점을 이용하여 '='을(를) 정의 하였다.

 

감이 잘 오지 않는다면

이것들의 반사성 대칭성 추이성을 조사해보면서 차이를 확인하자.

반사성을 만족하지 않는다.

대칭성을 만족한다.

추이성을 항상 만족하는 것은 아니다. (만족할 경우도 있지만 아닐 경우도 있다)

반사성을 만족한다.

대칭성을 만족하지 않는다.

추이성을 만족한다.

반사성을 만족하지 않는다.

대칭성을 만족하지 않는다.

추이성을 만족한다.