countable complement topology