间”的表述。例如，这个引理的一个推论是，正规的"T"空间是吉洪诺夫空间。
证明.对于每一个二进分数"r" ∈ (0,1)，我们将构造"X"的一个开子集"U"("r")，使得：有了这些集合以后，我们便定义"f"("x") =inf{ "r" : "x" ∈ "U"("r") }对于所有的"x" ∈ "X"。利用二进有理数是稠密的事实，便不难证明"f"是连续的，且具有性质"f"("A") ⊆ {0}和"f"("B") ⊆ {1}。为了构造集合"U"("r")，我们还需要做更多