>>724
>>多分”宇宙”の意味が ベン図的なUvenなので、
>>「Grothendieck宇宙の選択」とか イミフです
>「ベン図的宇宙」とかイミフ

下記の「2つの集合の共通部分と和集合、補集合、ド・モルガンの法則（ベン図）」
で、補集合の”ド・モルガンの法則”を説明するときに使うよ
全体集合U Universal set を 考えるんだ
つまり、全体集合U Universal set は いま考えている議論の範囲ってこと
もちろん、補集合の”ド・モルガンの法則”の全体集合Uは、公理的集合論以前の話さ

(参考)
https://examist.jp/mathematics/class/demorgan/
受験の月
「2つの集合の共通部分と和集合、補集合、ド・モルガンの法則（ベン図）」
全体集合と補集合
全体集合U Universal set
補集合A- 全体集合Uのうち、Aに属さない要素全体の集合
補集合の性質
略す
ド・モルガンの法則（ベン図で成り立つことを確認）
（図解がある）
略す