クラス関数の単射・全射・全単射 はクラスである. のとき、 です。ここに は F の逆関係です。このとき です。 は固有クラスになります。なぜなら、もし が集合ならば、これを u とおくと なので となって正則性公理に反するからです。 が固有クラスですから…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。