theorem :: UNIFORM2:34

for T being non empty strict TopSpace holds TopSpace_induced_by (Pervin_quasi_uniformity T) = T