theorem Kappa2RIF4: :: ROUGHIF1:29

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