庫拉托夫斯基閉包公理 庫拉托夫斯基閉包公理可來定義一個集上的拓扑結構它和以開集作定義拓樸結構的公理等價