theorem Prop4a: :: ROUGHIF1:14

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