Definition 5.4.7 (Minimal Cauchy Filter). Let $X$ be a uniform space and $\fF \subset 2^{X}$ be a Cauchy filter, then $\fF$ is minimal if it is minimal with respect to inclusion.
Definition 5.4.7 (Minimal Cauchy Filter). Let $X$ be a uniform space and $\fF \subset 2^{X}$ be a Cauchy filter, then $\fF$ is minimal if it is minimal with respect to inclusion.