13/05/10 12:53:22.68 NEbGzGwV!
ご回答誠に有難うございます。
metaclassの中にはproper classと集合の2種類しかないのですね。metaclassから上はもう無くて,
proper classとして典型的な例が集合全体の集まり(宇宙)とラッセルパラドクス(クラス抽象体)が先ず挙げれるのですね。そのほかにもproper classは色々とあるらしい。
単にclassと言ったらproper classの可能性もあるのですね。
class(proper class,集合)の要素は常に集合なのですよね? 集合以外の要素を含むclass(これはもはやproper classでしょうが)ってどんなのがあるのでしょうか?
もし簡単な例があれば是非お教え下さい。