"I"为（可能无穷的）指标集，并设"X"为"I"中由"i"所对应的每一个拓扑空间。置"X" = Π "X"，也即集合"X"的卡积。对于每个"I"中的"i"，我们有一个标准投影 "p" : "X" → "X"。"X"上的积拓扑定义为所有投影"p"在该拓扑下连续的最疏拓扑（也就是开集最少的拓扑）。该乘积拓扑有时也称为吉洪诺夫拓扑。很明显，"X"上的乘积拓扑可以表述为形为"p"("U")的集合生成的拓扑，其中"i"属于"I"，而"U"是"X"的一个开集。换句话说，集合{"p"("U")}构成"X"上的拓扑的子