(開集合の補集合としての)閉集合を用いても同値な定義が得られる。