theorem Lemma3: :: ROUGHIF1:19

for R being finite Approximation_Space
for X being Subset of R holds kappa_2 (({} R),X) = 1