:: deftheorem defines co-RIF-like ROUGHIF2:def 2 :
for R being finite Approximation_Space
for f being preRIF of R holds
( f is co-RIF-like iff CMap f is RIF of R );