Más formalmente se define: