Dieudonné completion $\mu X$ of a space $X$ is the completion of $X$ with respect to the maximal uniformity $U_X$ on $X$ compatible with the topology of $X$.
I failed to find references to explain this definition. How can we define such a completion for topological space $X$? $X$ must be a completely regular space?