theorem Th36: :: UNIFORM3:68

for X being set
for SF being Subset-Family of X holds basis_Pervin_uniformity SF is cap-closed