Metric spaces

Topological spaces with a distance function that satisfies certain axioms.