theorem :: ROUGHIF1:8

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