>>331
x∈x∪{x}∈xなんだから、後者の場合もx∈xだろ