... tử các tập hợp đôi một rời nhau, khi đó số phần tử của hợp các tập hợp này bằng tổng số các phần của hợp các tập hợp này bằng tổng số các phần tử của các tập thành phần. Giả sử Ttử của các ... ra thành k vi c Tthành k vi c T11, T, T22, , T, , Tkk. Nếu vi c Ti có . Nếu vi c Ti có thể làm bằng nthể làm bằng niicách sau khi các vi c Tcách sau khi các vi c T11, ... Akklà các tập hữu hạn, khi đó số là các tập hữu hạn, khi đó số phần tử của tích Descartes của các tập này phần tử của tích Descartes của các tập này bằng tích của số các phần tử của mọi...