العمليات الثنائية والزمر تتعلق بمدى توافر شروط معينة على مجموعة تحتوي على عملية ثنائية. تشمل هذه الشروط الإغلاق، التبادلية، والتجميعية، وجود عنصر محايد، ونظراء للعناصر. المثال المشروح يظهر كيف يمكن لمجموعة الأعداد النسبية أن تشكل زمرة تبديلية تحت عملية معينة.