theorem Prop2c: :: ROUGHIF1:24

for R being finite Approximation_Space
for X being Subset of R st X <> {} holds
kappa (X,({} R)) = 0