theorem Prop1d: :: ROUGHIF1:9

for R being finite Approximation_Space
for X, Y, Z being Subset of R holds kappa (X,(Y \/ Z)) <= (kappa (X,Y)) + (kappa (X,Z))