theorem PropEx3k0: :: ROUGHIF2:9

for R being finite Approximation_Space
for X, Y being Subset of R st X = {} holds
(CMap (kappa R)) . (X,Y) = 0