theorem :: ROUGHIF1:40

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