閉集合系から位相を入れた場合、φは閉集合に決まるというのは
正しいのでしょうか？