>>680
aは閉集合であるを言えばよい