Template:Metric space property

This article defines a property that can be evaluated for a metric space