>>281
その定義は不十分
つまり、Iが全順序集合であるだけでは不十分

・minIはたかだか1つで
　minI以外のIの任意の要素iについて
　j<iとなるjの最大元が存在する
・maxIはたかだか1つ
　maxI以外のIの任意の要素iについて
　i<jとなるjの最小元が存在する

簡単にいってしまえば、Iは、
Zもしくはその部分集合
と同様の性質を有する必要がある