theorem :: RFUNCT_4:10

for f being PartFunc of REAL,REAL
for X, Y being set st f is_strictly_convex_on X & Y c= X holds
f is_strictly_convex_on Y by XBOOLE_1:1;