theorem :: ROUGHIF2:19

for R being finite Approximation_Space
for X, Y being Subset of R holds
( (CMap (kappa_2 R)) . (X,Y) <= (CMap (kappa_1 R)) . (X,Y) & (CMap (kappa_1 R)) . (X,Y) <= (CMap (kappa R)) . (X,Y) ) by Lemma6c1, Lemma6c2;