Enviar aquest missatge de text: Tractable constraints closed under a binary operation