反射律

スポンサーリンク
順序

自然数の順序

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

同値関係

二項関係の中でも重要な概念である同値関係について紹介します。集合に対して、ある性質を持ったものをまとめて考える際によく用います。同値関係(equivalence relation)であるとは反射律、対称律、推移律を満たすことをいう。
スポンサーリンク