Изменения

<tex>1)\:\rho(x,y)=0\Longleftrightarrow x=y</tex> - аксиома тождества;

<tex>3)\:\rho(x,y)+\rho(y,z)\geq \rho(x,z)</tex> - аксиома(неравенство) треугольника;