Definition 6.4.9 (Minimal Cauchy Filter).label 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 6.4.9 (Minimal Cauchy Filter).label 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.