theorem :: ROUGHS_1:57

for A being finite Approximation_Space
for X being Subset of A holds UAp X = { x where x is Element of A : (MemberFunc (X,A)) . x > 0 }