Definition:Separable Space

From ProofWiki
Jump to: navigation, search

Definition

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


Also see

  • Results about separable spaces can be found here.


Sources