Exercise 3, § 1

Let $X$ be a topological space, let $\overline{\mathscr{T}}$ be the topology of $X$, let $(f_i)$ be a family (no. 2') of pseudometrics on $X$, and let $\mathscr{U}$ be the uniformity defined by the family $(f_i)$.