高木くんがアクセプトされるまで見守るスレ2

[0960 １３２人目の素数さん 2023/01/25(水) 17:00:28.42 ID:/Cu15kdB]

では、[4]について質問です。
4ページで、U^c(補集合)∩V=Φ ⇒ U⊇V　という論理が使われているように思いますが、U^c∩V=Φ　の成立が示されていないように思います。
いかがでしょうか？