Definition:Cocountable Topology