Proposition. Let be a separable metric space, be a subpace of , then is also separable.,
Proof. let be a countable and dense subset. For each and , choose if such intersection is nonempty. Then, is a countable subset of .
Let . Then choose . Now, choose such that . Then, , so there exists , such that .
Now . So . Hence, the closure of in is equal to .