مبدأ الضرب في التوافقيات ينص أن مبدأ العد يحدد: إذا وُجد a طريقة لفعل أمر وb طريقة لفعل أمر آخر فإن عدد الطرق لفعل الأمرين معاً يساوي a·b؛ ويُطَبَّق ذلك على مجموعات متناهية حيث |S1|·|S2|·…·|Sn|=|S1×S2×…×Sn| بحيث × هو الجداء الديكارتي، ويقارن بمبدأ الجمع الذي يعطي a+b عندما لا يمكن حدوث الأمرين معاً.