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