Dada una operación binaria de la forma: