:: deftheorem defines kappa_2 ROUGHIF1:def 4 :
for R being finite Approximation_Space
for X, Y being Subset of R holds kappa_2 (X,Y) = (card ((X `) \/ Y)) / (card ([#] R));