φを単体集合に含めるかは曖昧だけど
もしφがあるならその補集合もあるし
なおさら位相っぽい