0540おさかなくわえた名無しさん
2018/05/13(日) 12:29:54.15ID:QL7henQg客室内の話はしているが、客室内のスペースに含まれる要素の包含関係についているのではない。
「空いているスペース」に「出入り口を塞ぐ」を含めるのは集合理論として間違いである、という議論を延々としている。
Uを「電車内のスペース」
Pを「出入り口を塞ぐ」
Qを「空いているスペース」
とすると、本来の包含関係は
https://i.imgur.com/fdHiPt0.png
ベビーカー擁護派の言い分は
https://i.imgur.com/TWtFk6Q.jpg
しかも「明文で除外すると書いていない」要素は、無限に要素Qに含めることができてしまう。
そんな理屈は認めない。