>>47
どんな位相であってもXとφは必ず開集合族に入る
開集合族が特にXとφからなるものが密着位相
さらに位相の公理から、密着位相に限らず
Xは(あるいはφも)常に開かつ閉