>>750 補足

下記 二項関係
”R が関係 (X, Y, G) であるとき、(x, y) ∈ G となることを、「x は y と R-関係を持つ」などといい、x?R?y や R(x, y) で表す。後者は、対の集合 G の指示函数として R を見ることに対応する。”

ここに、Rはrelationの頭文字でありますが、多くの場合は、進行方向 right(右)の意味も持ちます
例えば、典型的な例が、∈による二項関係で、「x?∈?y」 などと、ZFCでの空集合Φからの自然数の構成は、左から右に進んでいきます

つまり、>>750の
”無限下降列”（ infinite descending chains）は、下記英文 Well-founded relationの
　”Equivalently, assuming the axiom of dependent choice, a relation is well-founded if it contains no countable infinite descending chains: that is, there is no infinite sequence x0, x1, x2, ... of elements of X such that xn+1 R xn for every natural number n.”
　が最も正確な表現です

　この逆の”xn R xn+1”は、上昇列で左から右に順序数が増えていきます
　一方、もとの”xn+1 R xn”は、可算無限下降列（ countable infinite descending chains）を表現しています
　（上記とは逆に、右から左に順序数が増えていきます）

　この上昇列と下降列の区別
　エンドレス無限(>>750)の区別が分からない おサルには、難しいようですね
　いや、右も左も分からないのかもね（＾＾；

（参考）
https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%A0%85%E9%96%A2%E4%BF%82
二項関係
二項関係（binary relation）あるいは二変数関係 (dyadic relation, 2-place relation) は、集合 A の元からなる順序対のあつまりである。

定義
二項関係 R は通常、任意の集合（または類）X, Y とそれらの直積 X × Y の部分集合 G の順序三つ組 (X, Y, G) として定義される。このとき、集合 X および Y はそれぞれこの関係の始集合 (domain) および終集合 (codomain) と呼ばれ、G はこの関係のグラフと呼ばれ、G(R) と表すこともある。

R が関係 (X, Y, G) であるとき、(x, y) ∈ G となることを、「x は y と R-関係を持つ」などといい、x?R?y や R(x, y) で表す。後者は、対の集合 G の指示函数として R を見ることに対応する。

つづく