Como condición adicional se exigen que formula_7 puede ser continuamente encajado en el espacio formula_8, es decir, que la que inyección canónica "i" sea continua: