19/10/03 07:11:08.88 yjiqL8Jw.net
>>867
ほいよ（＾＾
下記「整礎関係
(X, <) が整礎関係で x が X の元ならば、x から始まる降鎖列は必ず長さ有限だが、これはこのような降鎖の長さが有界であるということを意味しない。」
のあと、下記もご参照
”以下のような例を考えよう。X は正の整数全体の成す集合に、どの整数よりも大きな 整数ではない新しい元 ω を付け加えた集合とする。”ってところだよ（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
整礎関係
(抜粋)
その他の性質
(X, <) が整礎関係で x が X の元ならば、x から始まる降鎖列は必ず長さ有限だが、これはこのような降鎖の長さが有界であるということを意味しない。
以下のような例を考えよう。X は正の整数全体の成す集合に、どの整数よりも大きな 整数ではない新しい元 ω を付け加えた集合とする。
このとき X は整礎だが、ω から始まる長さ有限の降鎖列でいくらでも長いものが取れる。なんとなれば、任意の正整数 n に対して
ω, n - 1, n - 2, ..., 2, 1
という鎖は長さ n を持つ。
モストウスキーの崩壊補題 (Mostowski collapse lemma) によれば、集合要素関係 (set membership) は普遍的な整礎関係である。つまり、クラス X 上の集合的な整礎関係 R に対し、クラス C が存在して、(X, R) が (C, ∈) に同型となる。
(引用終り)
つづく