:: deftheorem defines block_Pervin_quasi_uniformity UNIFORM2:def 21 :
for X being set
for A being Subset of X holds block_Pervin_quasi_uniformity A = [:(X \ A),X:] \/ [:X,A:];