似たようなところな気がするので便乗。

自然数の集合Nの上の関係「>」は順序関係であることを示せ。