theorem Prop1e: :: ROUGHIF1:10

for R being finite Approximation_Space
for X, Y, Z being Subset of R st X <> {} & Y misses Z holds
kappa (X,(Y \/ Z)) = (kappa (X,Y)) + (kappa (X,Z))