theorem Prop6a: :: ROUGHIF2:15

for R being finite Approximation_Space
for X, Y being Subset of R
for kap being RIF of R holds
( (CMap kap) . (X,Y) = 0 iff X c= Y )