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