theorem :: ROUGHIF1:34

for R being finite Approximation_Space
for X, Y being Subset of R st X \/ Y = [#] R holds
kappa_1 (X,Y) = kappa_2 (X,Y)