theorem :: ROUGHIF1:30

for R being finite Approximation_Space
for X, Y being Subset of R holds
( kappa (X,Y) <= kappa_1 (X,Y) & kappa_1 (X,Y) <= kappa_2 (X,Y) )