閉集合の補集合を開集合と定義すると
φの補集合は開にも閉にもなれるね