Үүнийг мессежээр илгээх: Tractable constraints closed under a binary operation