전순서 관계_(r4)

이항 관계의 일종으로, 우리가 일상에서 늘 사용하고 편안하게 느끼는 순서 관계이다.

자연수, 정수, 실수 등 일반인이 사용하는 수 체계 대부분이 전순서이므로 직관과 논리가 문제없이 통해 마음이 편안해지는 것을 느낄 수 있다. 복소수 이상부터는 일반적인 전순서를 정의할 수 없으므로 뇌절이 시작된다.

그치만 전순서도 공리적으로 따지고 보면 졸라 이상한 결과를 많이 만들어낸다. 특히 극한과 결합될 경우.

부분순서 관계의 정의에서