theorem Th34: :: ROUGHS_1:34

for A being Approximation_Space
for X being Subset of A holds LAp (LAp X) = UAp (LAp X)