夫空间。其二，反对角线formula_4是formula_1上的一个不可数离散子集，所以它是不可分的，但formula_1是可分的。这个例子展示了可分空间的闭子集不一定是可分的。其三，formula_7和formula_8是闭集，而且可以证明它们不能被邻域分离，所以formula_1不是正则空间。这展示了正则空间的积不一定是正则的，甚至展示了更强的结果：有限个完美正则空间的积也不一定是正则的。