separable metric space

1. REDIRECT Separable_space

{{Redirect category shell|

{{R from subtopic}}

}}