>>275
定義を聞いてるんだけど、
a<bの定義が
a≧bでないことなら何もやることはないし
a≦bでa≠bなら示すべきことは≦の反対称律だけじゃん