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