for R being finite Approximation_Space
for X, Y being Subset of R holds
( kappa (X,Y) = 1 iff X c= Y )