>>193-194
俺なら、ωはω重シングルトンじゃなくて超集合ってことにするｗ

超集合(hyperset)は集合の一般化で、超要素(hyperelement)を持つ

集合に関しては、要素はもちろん超要素だが
要素の要素、要素の要素の要素、・・・を全て超要素とする

ωの場合、要素は持たないが、有限シングルトン全てを超要素とする