theorem Th34: :: UNIFORM3:65

for X being set
for SF being Subset-Family of X
for A being Element of SF st A = {} holds
block_Pervin_uniformity A = [:X,X:]