show/hide this revision's text 1 [made Community Wiki]

If every collection of disjoint open sets in a topological space is at most countable, then the space is separable