- Symmetry: for all points .
- Positivity: for all and if and only if .
- The triangle inequality: for all .
Together, the set and the metric form a metric space.
Every metric space can be used to form a topology by considering taking the set of open balls as a topological basis (i.e. the sets ).
- For any set , the discrete metric and otherwise.
This article is a stub. Help us out by .