theorem :: ROUGHIF1:26

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