theorem Th43: :: ROUGHS_1:43

for A being discrete Approximation_Space
for X being Subset of A holds X is exact