>>972
ただこれで
x∈y∈…∈x
が起こりえる程度が0でないなんてことがあると困るのと
x=y ⇔ ∀z(z∈x⇔z∈y)
が成り立たなくなると困る