reserve a,b,p,r,r1,r2,s,s1,s2,x0,x for Real;
reserve f,g for PartFunc of REAL,REAL;
reserve X,Y for set;

theorem
  f is_strictly_convex_on X & Y c= X implies f is_strictly_convex_on Y
by XBOOLE_1:1;
