Una función real "f" definida en un intervalo (o en cualquier subconjunto convexo de algún espacio vectorial) se llama función convexa o cóncava hacia arriba, si está definida sobre un conjunto convexo C y para cualesquiera dos puntos "x", "y" miembros de "C", y para cada "t" en [0,1], se cumple que: