Proposition 6.1.16.label Let $X$ be a uniform space and $x \in X$, then the closed neighbourhoods of $x$ form a fundamental system of neighbourhoods at $x$.
Proof. By Proposition 6.1.14 and Lemma 6.1.15, the closed neighbourhoods form a fundamental system of neighbourhoods.$\square$