theorem :: ROUGHS_1:56

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