theorem Lemma2: :: ROUGHIF1:18

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