21/05/19 15:27:33.62 F1LMOWa6.net
>>178
関連補足
URLﾘﾝｸ(ja.wikipedia.org)
モストフスキ崩壊補題
概要
RをクラスX上の二項関係で以下の3条件を満たすものとする。
・Rは集合状すなわち: R-1[x] = {y : y R x}が必ず集合になる。
・Rは整礎的である。すなわち: 空でないXの部分集合SはR-極小要素を持つ。(言いかえると、R-1[x] ∩ Sが空と
21/05/19 15:27:33.62 F1LMOWa6.net
>>178
関連補足
URLﾘﾝｸ(ja.wikipedia.org)
モストフスキ崩壊補題
概要
RをクラスX上の二項関係で以下の3条件を満たすものとする。
・Rは集合状すなわち: R-1[x] = {y : y R x}が必ず集合になる。
・Rは整礎的である。すなわち: 空でないXの部分集合SはR-極小要素を持つ。(言いかえると、R-1[x] ∩ Sが空と