>>55
> (∈−順序は推移的なので)”x ∈ y → x ⊂ y ”成立

そりゃx,yが順序数なら、成り立つよ

しかし一般の集合は順序数じゃないだろw

順序数でない集合なんて
有限集合でもいくらでも作れる
たとえば{{{}}}とか

考えろよ ニワトリw