En metrikk vil definere en topologi i mengden, men ikke alle toplogier kan defineres ut fra en metrikk. En topologi som er avledet av en metrikk sies å være .