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