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

バカな おサルが騒いでいるな
証明は下記な（＾＾
院試答案なら意識しようね
一言書いてもいい。「整列順序集合 X は全順序集合である」とか

（>>163より）
http://www.math.is.tohoku.ac.jp/~obata/student/subject/
東北大学大学院情報科学研究科 システム情報科学専攻 尾畑研究室
http://www.math.is.tohoku.ac.jp/~obata/student/subject/file/2018-13_WellOrdered.pdf
第13章 整列集合 GAIRON-book : 2018/6/21(19:23)
13.1 整列集合
順序集合 (X, ≦) は, すべての空でない部分集合が最小元をもつとき, 整列集
合であるといい, そのような順序を整列順序という. 定義から整列集合は必ず全
順序集合であることに注意しよう. 実際, a, b ∈ X に対して集合 {a, b} は X の
空でない部分集合になるから, それは最小元をもつ. 最小元は a または b であ
るが, それが a であれば a ≦ b となるし, それが b であれば b ≦ a となる.
これは, 任意の a, b ∈ X が比較可能であることを意味し, X は全順序集合である
ことがわかる.
(引用終り)

ご丁寧に証明を付けてある（多分学部用だから）（＾＾

一方、坪井先生
(>>289より)
http://www.math.tsukuba.ac.jp/~tsuboi/
Akito Tsuboi's Home Page
http://www.math.tsukuba.ac.jp/~tsuboi/
大学院（数学専攻）関連
講義ノート12年版（１学期）←これ
http://www.math.tsukuba.ac.jp/~tsuboi/gra/lecturenote(12).pdf
数理論理学Ｉ
Mathematical Logic I
12 年 講義ノート（１学期）
1 基礎知識
1.1 順序数
定義 1 順序集合 X = (X, <) が整列 (well-ordered) であるとは，任意の
空でない A ⊂ X が最小元を持つことである．
注意 2
1. 整列順序集合 X は全順序集合である．
(引用終り)

と、一言のご注意で済ませている。大学院だからか
以上