Assertion: function | /r/Synonym | extended metric
Facets:
Source sentences:
text: Such a function is called an extended metric or "∞-metric".