Euclidean space by Ciro Santilli 32 Updated Created
with extra structure added to make it into a metric space.