theorem Prop3b: :: ROUGHIF1:17

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