Her α∈Λ için (Xα,τα) topolojik uzaylar olmak üzere çarpım topolojisini tanımlarken seçme aksiyomunu kullanıyoruz. Boş olmayan kümelerden oluşan boş olmayan bir ailenin kartezyen çarpımı boş değildir. Formel olarak şöyle de ifade edebiliriz.
A={Xα∣α∈Λ⇒Xα≠∅}≠∅⇒ΠA≠∅
Seçme Aksiyomu, Zorn lemması, Zermelo İyi Sıralama Teoremi ve Hausdorff Büyüklük İlkesi birbirine denk olduğundan dolaylı olarak da olsa Zorn Lemmasını kullanmış oluyoruz çarpım uzaylarını tanımlarken.