theorem :: ROUGHS_1:33

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