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