Proposition 5.1.16. 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 5.1.14 and Lemma 5.1.15, the closed neighbourhoods form a fundamental system of neighbourhoods.$\square$