Definition:Separable Space

From ProofWiki
Jump to navigation Jump to search

Definition

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$.


Also see

  • Results about separable spaces can be found here.


Sources