separable space
C52520
concept
A separable space is a topological space that contains a countable dense subset, meaning every nonempty open set intersects this subset.