>>293
標準的な構成における N においては、
≦ よりも先に狭義の順序 ＜ を定義するのが普通である。
そして、ここでの狭義の順序 ＜ は以下のように定義される。

・ x＜y ⇔_{def} x∈y.

ひとたび ＜ が定義されれば、≦ は以下のように定義される。

・ x≦y ⇔_{def} (x＜y または x＝y).