Category:Definitions/Examples of Metric Spaces