>>538
客室内の話はしているが、客室内のスペースに含まれる要素の包含関係についているのではない。
「空いているスペース」に「出入り口を塞ぐ」を含めるのは集合理論として間違いである、という議論を延々としている。


Uを「電車内のスペース」
Pを「出入り口を塞ぐ」
Qを「空いているスペース」
とすると、本来の包含関係は
https://i.imgur.com/fdHiPt0.png

ベビーカー擁護派の言い分は
https://i.imgur.com/TWtFk6Q.jpg

しかも「明文で除外すると書いていない」要素は、無限に要素Qに含めることができてしまう。

そんな理屈は認めない。