>>624

2つの「開集合」としているのに必然性はありますか？

2つの空でない共通部分をもたない「集合」に分けられない

という定義がダメなのは分かりますが。