Definition:Countable Finite Complement Topology