Llamamos operación (binaria) en "E" a una función de "E x E --> E".