김김계 순서공리랑 pma에서 설명하는 order랑

부등호 정의가 조금 다른데

이게 결국은 같다는건 어디까지 공부해야 나옴?

가슴은 받아들이는데 머리로는 모르겠음