Definition 5.5.1 (Complete Space). Let $(X, \fU)$ be a uniform space, then $X$ is complete if every Cauchy filter converges to at least one point.
Definition 5.5.1 (Complete Space). Let $(X, \fU)$ be a uniform space, then $X$ is complete if every Cauchy filter converges to at least one point.