>>687
順序関係の定義を書いてごらん