Assertion: metric space | /r/HasProperty | equipped with the metric
Facets:
Source sentences:
text: Completeness of the space of bounded real-valued functions on a set, equipped with the norm, and the completeness of the space of bounded continuous real-valued functions on a metric space, equipped with the metric.