Separable Metric Space Definition