theorem Th28: :: ROUGHS_1:28

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