theorem Th32: :: UNIFORM2:33

for T being non empty TopSpace holds Family_open_set (FMT_induced_by (Pervin_quasi_uniformity T)) = the topology of T