>>387,>>391
撤回するのは結構だが、そもそも

「Aの定義から A⊂X が成り立つ」

という文章を見て「なぜこれが成り立つのか分からない」
という疑問を持つこと自体がイカレている。日本語が読めてない。

>>388に書いたとおり、日本語を読んで機械的にさかのぼって確認していけば終わる話。
「なぜこれが成り立つのか分からない」ということは、
日本語を読んで機械的にさかのぼることさえもできないということ。