屏幕只装下几行，序列却没有最后一项

有限次取最小值，仍留得下开区间

在积拓扑的基本柱集中，只有有限个坐标必须落进指定开区间。把同一个 t 代入这些坐标，要求就成了 |t| < rⱼ。有限个正半径有正的最小值，因此逆像还是 0 周围的开区间。

把限制全部取消，柱集就是整个空间，逆像是 ℝ。某个 t 不在逆像里，并不表示映射不连续；要看的，是这个逆像本身开不开。

箱约束不会在第 12 行停下

B = ∏_n≥1(−1/n,1/n)，f⁻¹(B) = {0}

如果 t ≠ 0，取整数 n > 1/|t|，就有 1/n < |t|，第 n 个约束一定失败。这个对任意非零 t 的构造，才排除了无限尾部；窗口里检查了多少行，都不能替代它。

B 是箱拓扑里的开集，而 {0} 在 ℝ 中不开，所以这个对角映射到箱拓扑不连续。换成积拓扑，任意基本柱集的逆像都是有限个开区间的交，也可能为空，因此是开集；这说明它连续。