Más formalmente, se define: