theorem :: ROUGHIF2:17

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