theorem :: ROUGHS_1:58

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