theorem :: ROUGHIF1:35

for R being finite Approximation_Space
for X, Y being Subset of R st X <> {} holds
1 - (kappa (X,Y)) = kappa (X,(Y `))