Remark 8.2.5. As discussed in Remark 5.3.6 on the proof of Lemma 5.3.4, constructing a pseudometric from entourages by building its level sets is difficult because composing symmetric entourages does not necessarily lead to symmetric entourages. The topological vector space does not have this shortcoming, and as such allows this construction.