theorem Th16: :: ROUGHS_1:16

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