>>519-520
Xは「集合」ではなく、「空間」なので、Xより大きな集合が存在しないので
「⊆」を使う必要がないのでは?