اندازه‌ی حاصلضرب دكارتي دو مجموعه

اندازه‌ی حاصلضرب دكارتي دو مجموعه:

اگر A و B دو مجموعه‌ي متناهي باشند، در اين صورت . يعني اندازه حاصلضرب دكارتي A و B ، برابر است با حاصلضرب اندازه‌ي A و اندازه‌ي B .

زيرا هر مؤلفه‌ي اول را از مجموعه‌ي A و از بين |A| عضو انتخاب مي‌كنيم و پس از آن براي هر مؤلفه‌ي اول، مؤلفه ي دوم دوتايي مرتب را از مجموعه‌ي B و از بين |B| عضو انتخاب می‌كنيم.