>>383
>Aの定義から A⊂X が成り立つ。
これが何故成り立つのか?