Si además se cumple formula_27 y la función continua es inyectiva sobre el compacto formula_28 entonces las dos inclusiones anteriores se convierten en igualdades: