theorem Prop2b: :: ROUGHIF1:16

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