Es sei M {\displaystyle {}M} eine Menge, die mit einer Halbmetrik versehen sei.
Dann ist M {\displaystyle {}M} ein topologischer Raum.