formula_5formula_1上的初拓扑formula_7，是使得formula_8均为连续的最粗糙拓扑。 <br>更精确地说，初拓扑可以描述为由formula_9为生成的拓扑，这里的formula_10是formula_11中的开集。集合formula_9通常也被叫做「」，如果指标集formula_13只包含一个元素，那么formula_14的全体开集都是圆柱集合。
性质.
特征性质.给出任意拓扑空间formula_15，X上的初拓