block_Pervin_quasi_uniformity the Element of the topology of T in subbasis_Pervin_quasi_uniformity T ;
hence not subbasis_Pervin_quasi_uniformity T is empty ; :: thesis: verum