カテゴリー: 整徐関係

2023年11月16日

整除関係と大小関係

\forall a, b \in N, a ∣ b \to a \leq b

2023年11月15日

整除関係の性質

a ∣ b \land b ∣ a \leftrightarrow | a | = | b |

2023年11月13日

整除関係の基本的な値

\forall a \in Z, \pm 1 ∣ a

2023年11月12日

整徐関係と半順序関係

2023年11月10日

整徐関係の定義

\exists n \in Z, a = b n \to b ∣ a