>>291 補足の補足
(引用開始)
定義 1 順序集合 X = (X, <) が整列 (well-ordered) であるとは，任意の
空でない A ⊂ X が最小元を持つことである．
注意 2
1. 整列順序集合 X は全順序集合である．
2. 順序集合 X が整列なることは次の条件 (a)+(b) と同値：
(a) X が全順序集合である．
(b) X は無限下降列を持たない．
(引用終り)

坪井先生も、「無限下降列」の定義をしていない。定義が面倒なんだろうねｗ（＾＾
下記の長澤まさみ「虫コナーズ」風に言えば
「この世界には、真の”無限下降列”と真の”無限下降列”やない”無限下降列”的なもんがあんねん」ｗ

さていま、全順序の無限列Xがあるとする
Xの任意の空でない A ⊂ X が最小元を持つとき
それは、真の”無限下降列”やない”無限下降列”的なもんですやんｗ

Xの任意の空でない A ⊂ X で、最小元を持たないAが存在するときこそ
真の”無限下降列”なんですよｗ（＾＾；

（参考）
https://xtrend.nikkei.com/atcl/contents/18/00143/00030/
売れる！CMキャラクター探偵団　第28回
長澤まさみの関西弁は、CMを邪魔者にしないKINCHOの決意
2020年07月10日 読了時間：5分
北川 聖恵 ライター
https://cdn-xtrend.nikkei.com/atcl/contents/18/00143/00030/01.jpg
部屋の窓につり下げられた「虫コナーズ」を見上げながらおもむろに、「この世界には、虫コナーズと虫コナーズやない虫コナーズ的なもんがあんねん」と弟（仲野太賀）に関西弁で話しかける、蚊取り線香のような色のワンピースを着た長澤まさみ。

「浜田さんのお宅はずーっと虫コナーズ的なもんをぶらさげてた」と続ける長澤に、「ふーん」と先を促す弟。「でも今年初めて虫コナーズをぶら下げた」と語気を荒らげる長澤。「ほう！」と弟が応えれば、少し間を置き、「勝った……」と長澤は満足げな表情を見せる。思わず「何に？」と弟。

https://www.youtube.com/watch?v=GY_cidVLG1M
(1分) 長澤まさみ キンチョー 虫コナーズ 「初めてぶらさげた人」篇 & 「無防備」篇 TVCM
57,633 回視聴?2020/05/22 taku iwai チャンネル登録者数 631人
(引用終り)
以上