Lo que prueba que las operaciones están bien definidas.