فرض کنید ، به تعداد مجموعه دلخواه باشند، حاصلضرب دکارتی بهصورت زیر تعریف میشود:
و هر یک از عناصر را یک تایی مرتب میگوییم.
واضح است که اگر باشد ،در اینصورت مجموعه را با نشان میدهیم، یعنی:
نکته
1- اگر مجموعههای با پایان باشند، آنگاه تعداد اعضای حاصلضرب دکارتی مجموعه برابر است با:
2- عمل حاصلضرب را میتوان بهصورتهای زیر بین مجموعههای متفاوت تعریف کرد و تعمیم داد:
توجه کنید اگر زوج مرتب متعلق به باشد فقط میتوان نتیجه گرفت که اما در صورتیکه زوج مرتب در نباشد، سه حالت زیر ممکن است اتفاق بیافتد: