dedekind::geometry::IsMetricSpace Concept Reference

A set equipped with a distance function (metric) d(a, b). More...

Concept definition

template<typename T, typename S>
concept dedekind::geometry::IsMetricSpace =  requires(const T a, const T b) {
  
  { distance(a, b) } -> std::same_as<S>;
}

Detailed Description

A set equipped with a distance function (metric) d(a, b).

In our Naked Ontology, the metric projects any two points to a scalar field S, which must be an Ordered Field (the ruler).