Formalmente puede enunciarse de la manera siguiente: