# Category:Definitions/Separable Spaces

A topological space $T = \struct {S, \tau}$ is separable if and only if there exists a countable subset of $S$ which is everywhere dense in $T$.