>>30 補足
＞（それ以外にも、反例はあるな。後述）

・例えば、自然数Nで、偶数の集合を、2Nとすると
　2N ⊂ N が成立つ
・しかし、2N ∈ N とすると、2Nは可算無限集合なので、Nの元は有限順序数のみの定義に反する （＾＾；