>>178
関連補足

https://ja.wikipedia.org/wiki/%E3%83%A2%E3%82%B9%E3%83%88%E3%83%95%E3%82%B9%E3%82%AD%E5%B4%A9%E5%A3%8A%E8%A3%9C%E9%A1%8C
モストフスキ崩壊補題

概要
RをクラスX上の二項関係で以下の3条件を満たすものとする。
・Rは集合状すなわち: R-1[x] = {y : y R x}が必ず集合になる。
・Rは整礎的である。すなわち: 空でないXの部分集合SはR-極小要素を持つ。(言いかえると、R-1[x] ∩ Sが空となるようなx ∈ Sがあるということ。)
・Rは外延的である。すなわち:Xの異なる二元x,yについて必ず、R-1[x] ≠ R-1[y]
モストフスキ崩壊補題はこのようなRに対して、推移的クラス(真のクラスでもよい)M で(M,∈)と(X, R)が同型となるものが一意的に存在し、その同型対応も一意的であるという命題である。その同型対応Gは G(x)={G(y):yRx}で与えられる。この関数をモストフスキ崩壊関数という。(Jech 2003:69).

一般化
全ての整礎的かつ集合状な関係は整礎的かつ集合状かつ外延的な関係に埋め込める。これはモストフスキ崩壊補題の変形を導く：整礎的かつ集合状な関係は、あるクラス上の∈-関係と同型である。(このクラスは一意的でないし、推移的である必要もない。)
F(x) = {F(y) : y R x}なるX上の写像FはRがX上で整礎的かつ集合状なら再帰によって定義できる。
これは推移的クラス(一意的ではない)への準同型写像を与え、同型となるのはRが外延的であるときかつちょうどそのときのみである。
この補題の整礎性の仮定は、整礎性を使わない集合論では緩和したり外したりすることができる。

つづく