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