Tanım:
Bir kümenin n elemanı, başka bir kümenin içinde m adet eleman var ise , bir elemanı ilk kümeden, diğer elemanı ikinci kümeden olan n x m adet eleman vardır. Burada teker teker saymak yerine , iki kümenin eleman sayılarını çarpmak yeterlidir. Örneğin {a,b} ile {1,2} kümesi için {a,1}, {a,2}, {b,1}, {b,2} şeklinde olabilir ve görüldüğü gibi 2x2 = 4 küme vardır.
