Изменения

, то в таком ТП выполнима аксиома отделимости Хаусдорфа.

: <tex> (X, \rho), a \ne b, \rho(b, a) = 0,r = \frac 1 3 \rho(a, b); V_r(a) \cap V_r(b) = \varnothing </tex> , ч.т.д.

}}