Countable Discrete Space is Separable/Proof 2

Theorem

Let $T = \struct {S, \tau}$ be a countable discrete topological space.


Then $T$ is separable.


Proof

Follows immediately from Countable Space is Separable.

$\blacksquare$

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.