theorem :: ROUGHIF2:18

for R being finite Approximation_Space
for X, Y, Z being Subset of R st Y c= Z holds
(CMap (kappa R)) . (X,Z) <= (CMap (kappa R)) . (X,Y)