theorem Th29: :: ROUGHS_1:29

for A being Tolerance_Space
for X being Subset of A holds UAp (X `) = (LAp X) `