Definition:Pseudometrizable Topology

Definition

Let $\left({S, d}\right)$ be a pseudometric space.

Let $\left({S, \vartheta_{\left({S, d}\right)}}\right)$ be the topological space induced by $d$.

Then for any topological space which is homeomorphic to such a $\left({S, \vartheta_{\left({S, d}\right)}}\right)$, it and its topology are defined as pseudometrizable.

Linguistic Note

The UK English spelling of this is pseudometrisable, but it is rarely found.