固定 formula_65，所有 n-型构成的空间 formula_21 具备一个自然的拓扑结构，其开集由形如 formula_67 的子集经过联集与有限交集形成。它满足下述性质：事实上，formula_9 里所有带 n 个自由变元的公式构成一个布尔代数，而根据定义，n-型正是其中的极大泸子；可以证明拓扑空间 formula_21 等同于布尔代数理论中考虑的 Stone 空间。
个案研讨.
稠密全序.先前关于 formula_77 的评註适用于任何稠密全