العملية الثنائية أو كما تدعى أحيانا المعامل الثنائي هي عملية حسابية تتضمن مدخلين كميين ينتج عنها منتج كمي واحد ، مثل جميع العمليات الأساسية في الحساب ، كالجمع و الضرب و القسمة .
بلغة نظرية المجموعات تصبح العملية الثنائية تابع ثنائي منطلقه س في س و مستقره س ، أي أن منطلقه الجداء الديكارتي للمجموعة (س) : س*س و مستقره المجموعة س .
الجداء الكارتيسي للمجموعة س مع نفسها : هي مجموعة ثنائيات مؤلفة من مسقطين من المجموعة س .