theorem CMapMap: :: ROUGHIF2:7

for R being finite Approximation_Space
for f being preRIF of R holds CMap (CMap f) = f