User:Caliburn/s/fa/Subspace of Separable Metric Space is Separable

Theorem
Let $\struct {X, d}$ be a separable metric space.

Let $\struct {Y, d_Y}$ be a metric subspace of $\struct {X, d}$.

Then $Y$ is separable.