Formalmente, una función real "f" definida en un intervalo (o en cualquier conjunto convexo "C" de algún espacio vectorial) se dice que es cóncava, si para dos puntos "x" e "y" cualesquiera definidas en su dominio "C", y para cualquier "t" en [0,1], se cumple