theorem :: ROUGHS_1:35

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