A,B,C herhangi üç küme olmak üzere A∼B⇒A×C∼B×C olduğunu gösteriniz.
A∼B olduğundan A kümesinden B kümesine tanımlı en az bir bijektif f fonksiyonu vardır.
g(x,y):=(f(x),y) kuralı ile verilen g:A×C→B×C fonksiyonu bijektif (Neden?) olduğundan A×C kümesi ile B×C kümesi denktir.