أرسل هذا في رسالة قصيرة: Tractable constraints closed under a binary operation