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

theorem :: Proposition 6 c)
  (CMap kappa_2 R).(X,Y) <= (CMap kappa_1 R).(X,Y) <= (CMap kappa R).(X,Y)
    by Lemma6c1,Lemma6c2;
