Euclidean space Updated 2025-07-16
with extra structure added to make it into a metric space.