A topological space (X, \tau) is called pseudometrizable (resp. metrizable, ultrapseudometrizable) if there exists a pseudometric (resp. metric, ultrapseudometric) d on X such that \tau is equal to the topology induced by d.
