n::::从闭集分离点.称formula_5从闭集分离点，如果formula_1中任意闭集formula_22，与任意不属于formula_22的点formula_24，formula_25，使得<br>formula_26 <br>这里的"cl"是闭包算子。<br>关于初拓扑有如下定理：<br>一族连续映射从闭集分离点，当且仅当the cylinder sets构成集合formula_1的一个基。<br>从这个定理可以得到，如果formula_1上有一族连续映射从闭集分离点，那么关于这族映射就存