正整数の集合上の割り切る関係は半順序関係

質問

正整数の集合Z+上の割り切る関係|は半順序関係であることを示せ。

どういうように考えれば良いかわかりませんので、是非教えてください。

回答No.1

arrysthmia · ベストアンサー

考え方：

(1)「半順序」の定義を確認し、
　　二項関係が半順序であるために
　　満たすべき公理を列挙する。
(2) 整除関係が、その各公理を満たす
　　ことを証明する。

まずは、教科書で (1) を…

お礼

ありがとうございました！