>>291 補足

「それが全順序、かつ”任意の空でない A ⊂ X が最小元を持つ”」

（補足）
”任意の空でない A ⊂ X が最小元を持つ”
ことから
「全順序」を示せる
（どっかに書いてあって、過去レスで引用している）
なので、「全順序、かつ」は本当はいらないのです（＾＾；