introducida por Alexandroff y Hopf (Topologie, 1935).