theorem Ble1: :: ROUGHIF2:21

for R being finite Approximation_Space
for X, Y being Subset of R st X <> {} & Y = {} holds
(CMap (kappa_1 R)) . (X,Y) = 1