>>691
そんな些末なところをつついても
「正則性公理が順序関係を与える」
が間違いであることに変わりない　残念！