theorem :: ROUGHIF1:39

for R being finite Approximation_Space
for u being Element of R
for x, y being Subset of R st u in (f_1 R) . x & (UncertaintyMap R) . u = y holds
kappa (y,x) > 0