Formalmente se define: