theorem :: UNIFORM2:29

for T being TopSpace
for QU being non void Quasi-UniformSpace st the carrier of T = the carrier of QU & subbasis_Pervin_quasi_uniformity T c= the entourages of QU holds
the entourages of (Pervin_quasi_uniformity T) c= the entourages of QU