>>706
とりあえず、順序関係であることの定義を書いてみて。