Metric space
A metric space has a carrier set and a distance function that is nonnegative, zero exactly at equal points, symmetric and satisfies the triangle inequality.
atlas-metric-space · canonical_mko
Metric space
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data