حاصلضرب دکارتی مجموعه‌های  و  به صورت  نوشته شده و تعریف زیر را دارا است: