Se dice que formula_25 es un operador que define la norma de formula_24, que denotaremos como formula_27, si cumple: