反対称律

スポンサーリンク
順序

自然数の順序

自然数に加法と乗法を定義しましたが、加法を用いて順序を定義することが出来ます。 自然数 \(m, n\in\mathbf{N}\) 対して, 関係 \(\leq\) をある自然数 \(l\in\mathbf{N}\) が存在して \(n=m+l\) となるとき \[m\leq n\] と定義する.
スポンサーリンク