theorem :: ROUGHIF1:21

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