Si se elimina la propiedad 3, se obtiene un espacio pseudométrico.