Separable Space

Definition

A Topological Space $(X,\mathcal{T})$ having a countable dense subset $D\text{s.t.}\bar{D}=X$ is called a separable space.

Facts

The Product Space of two separable spaces is a separable space.