theorem :: ROUGHIF1:31

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