Невід'ємність доводиться за допомогою таких міркувань: Приклади метричних просторів Простір ізольованих точок Множина дійсних чисел утворює метричний простір Множина впорядкованих груп з n дійсних чисел з відстанню називається n-вимірним арифметичним евклідовим простором .