Assertion: metric space | /r/HasProperty | injective
Facets:
Source sentences:
text: A metric space is injective if and only if it is an injective object in the category of metric spaces and metric maps.
text: A metric space is injective if and only if it is an injective object in the category of metric spaces and metric maps.