> [!definition] > > Let $(X, \topo)$ be a [[Topological Space|topological space]], then it is **separable** if it has a [[Cardinality|countable]] [[Dense|dense]] subset.