ضرب دکارتی یکی از مفاهیم بنیادی در نظریه مجموعه‌هاست که از ترکیب اعضای دو یا چند مجموعه به‌صورت زوج‌های مرتب یا چندتایی‌های مرتب تشکیل می‌شود. اگر دو مجموعه \(A\) و \(B\) داشته باشیم، ضرب دکارتی آن‌ها مجموعه تمام زوج‌های مرتبی است که مؤلفه اول از \(A\) و مؤلفه دوم از \(B\) انتخاب شده باشد.

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

در این مقاله، مفهوم زوج مرتب، تعریف ضرب دکارتی، روش تشکیل آن، تفاوت \(A\times B\) و \(B\times A\)، تعداد اعضای حاصل‌ضرب، ضرب دکارتی چند مجموعه، حالت مجموعه تهی، ویژگی‌های مهم و کاربردهای آن در روابط، توابع، هندسه مختصاتی و علوم کامپیوتر بررسی می‌شود.