Her $\alpha \in \Lambda$ için $(X_{\alpha},\tau_{\alpha})$ 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.
$$\mathcal{A}=\{X_{\alpha} \mid \alpha\in \Lambda\Rightarrow X_{\alpha}\neq \emptyset\}\neq \emptyset\Rightarrow \Pi \mathcal{A}\neq \emptyset$$
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.