theorem :: RFUNCT_3:60

for F being PartFunc of REAL,REAL
for X being set st F is_convex_on X holds
max+ F is_convex_on X