theorem Th19: :: ROUGHS_1:19

for A being Tolerance_Space holds UAp ({} A) = {}