 reserve R for finite Approximation_Space;
 reserve X,Y,Z for Subset of R;
 reserve kap for RIF of R;

theorem :: Proposition 6 e)
  0 <= (CMap kappa R).(X,Y) <= 1 by XXREAL_1:1;
