theorem :: ROUGHIF1:27

for R being finite Approximation_Space
for Y, Z, W being Subset of R st Z misses Y & Z c= W holds
( kappa ((Y \ Z),W) <= kappa (Y,W) & kappa (Y,W) <= kappa ((Y \/ Z),W) ) by Test1AAA, Test2AAA;