Separable space/Definition

A topological space with a countable dense subset.