تعریف:اگر A و B دو مجموعه باشند،«حاصلضرب دکارتی» آنها را با نماد «» نمایش میدهیم و به صورت زیر تعریف میکنیم:
بنابراین حاصلضرب دکارتی دو مجموعه، یکمجموعه است و اعضای آن دوتاییهای مرتب (زوج های مرتب ) هستند. در هر دوتایی مرتب، مؤلفهی اول ( a ) از مجموعهی اول ( A ) و مولفهی دوم ( b ) از مجموعهی دوم ( B ) انتخاب میشود.(موسسه گوهر ، تخصصی ترین تدریس خصوصی دراصفهان .تدریس ریاضی به صورت تخصصی تمام پایه ها رشته ها دراصفهان)