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