theorem Kappa1RIF4: :: ROUGHIF1:28

for R being finite Approximation_Space
for X, Y being Subset of R st kappa_1 (X,Y) = 0 holds
X misses Y