Más formalmente, se puede definir como una aplicación formula_2 continua e inyectiva, y suele identificarse con la imagen de esta aplicación.