整除関係と大小関係
\[
\forall a,b\in\mathbb{N},a\mid b\rightarrow a\leq b
\]
カテゴリー: 整徐関係
整除関係の性質
\[
a\mid b\land b\mid a\leftrightarrow\left|a\right|=\left|b\right|
\]
整除関係の基本的な値
\[
\forall a\in\mathbb{Z},\pm1\mid a
\]
整徐関係の定義
\[
\exists n\in\mathbb{Z},a=bn\rightarrow b\mid a
\]