theorem Th36: :: ROUGHS_1:36

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