theorem :: ROUGHS_1:31

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