順序集合の条件でまず
ｘ≦ｘ
とあるのですがこれはどういう意味でしょう？
少なくとも自分自身の間とは順序が成り立つ、と書いてありましたが
一つの元が順序を持つ？というのがどうにもつかめません。
恒等写像はidentityや特定という言葉でなんとなく目的がつかめたのですが、、