在兩個拓撲空間的笛卡爾積 上的拓撲,其開集是子集
的並集,其中
和
分別是
和
的開子集。
這個定義自然地擴充套件到任意有限個 拓撲空間的笛卡爾積。 的乘積拓撲
其中 是具有歐幾里得拓撲的實數線,與歐幾里得空間
的歐幾里得拓撲一致。
在 的乘積拓撲的定義中,其中
是任意集合,開集是子集
的並集,其中
是
的開子集,並且附加條件是對於除了有限多個索引
之外的所有索引,
(如果
是有限集,則自動滿足此條件)。 選擇這些開集的原因是,這些是使到第
個因子
的投影對於所有索引
連續所需的最少開集。 允許所有開集的乘積將產生更大的拓撲(如果
是無限的,則嚴格更大),稱為盒拓撲。
乘積拓撲也稱為吉洪諾夫拓撲,但這不應與 吉洪諾夫空間 的概念混淆,後者具有完全不同的含義。