theorem :: ROUGHS_1:30

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