theorem :: ROUGHIF1:5

for R being finite Approximation_Space
for X being Subset of R holds kappa (({} R),X) = 1 by KappaDef;