In mathematics, a topological space is called separable if it contains a countable dense subset; that is, there exists a sequence