Assertion: metric space | /r/HasProperty | separable
Facets:
value: for any p
type: OTHER
Source sentences:
text: For any p ≥ 1, the metric space (P p (M), W p ) is separable, and is complete if (M, d) is separable and complete.
text: A metric space (X, d) is separable if it has a countable dense subset.