>>575
>>575
反論？　バカか。サルが勘違いしているだけのこと
下記テキストに書いてあるよ。英語が詳しいけどね。証明も引用した。嫁め（＾＾

つまり、
「可算無限降下列：X の元の無限列 x0, x1, x2, ... で、どんな n についても xn+1 R xn となるようなもの」
だよ。 xn+1 R xn であって、xn R xn+1 ではないよ
まあ、三歳児の知能には難しいかもな

だが、次の「（上方整礎）R の逆関係 R?1 が X 上の整礎関係であるときにいう。このとき R は昇鎖条件を満たすという」
も合わせて読めば、サルでも分かるだろう（＾＾；

（参考）
https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82
整礎関係

定義
集合あるいはクラス X 上の二項関係 R が整礎であるとは、X の空でない任意の部分集合 S が R に関する極小元を持つことをいう[1]。
X が集合であるとき、従属選択公理（英語版）（これは選択公理よりも真に弱く可算選択公理よりも真に強い）を仮定すれば、同値な定義として、関係が整礎であることを可算無限降下列が存在しないこととして定められる[3]。
つまり、X の元の無限列 x0, x1, x2, ... で、どんな n についても xn+1 R xn となるようなものはとれない。

順序集合論（英語版）では、半順序に対応する真の順序 (strict partial order) が整礎関係となるとき、その半順序を整礎（整礎半順序）と呼ぶ。全順序がこの意味で整礎であるとき、整列順序と呼ぶ。
集合 x が整礎的集合 (well-founded set) であることは、∈ が x の推移閉包上で整礎関係となることと同値である。ZF における公理のひとつである正則性の公理は、全ての集合が整礎であることを要請するものである。
関係 R が X 上で逆整礎 (converse well-founded) または上方整礎 (upwards well-founded) であるとは、R の逆関係 R?1 が X 上の整礎関係であるときにいう。このとき R は昇鎖条件を満たすという。

つづく