Producto en
Definición. (Producto
) operación bianria tal que
Teorema. (Propiedades de
) Para cualesquiera
se cumple:
- Si
- Si
Ya definida
:
Proof.
\begin{align}
s(0) \cdot n &= (0 \cdot n) + n \tag{2}\
&= 0 + n \tag{1}\
&= n \tag{Def. suma}
\end{align}