theorem Th12: :: ROUGHS_1:12

for A being Tolerance_Space
for X being Subset of A holds LAp X c= X