exists a sequence D1, D2, … of open neighborhoods of the diagonal with D = D1 and . The uniformity on a completely regular space X induced by C(X) (see the previous section) is not always the fine uniformity. References Properties of topological spaces Uniform spaces