theorem Th15: :: ROUGHS_1:15

for A being Tolerance_Space
for X being Subset of A holds
( X is exact iff LAp X = X )