La definición anterior se formaliza con la expresión siguiente: