Son conjuntos convexos aquellos que tienen la propiedad de que al unir con un

segmento dos puntos cualesquiera del conjunto, el segmento queda completamente

contenido en el propio conjunto. La intersección de un número finito de conjuntos
convexos sigue siendo un conjunto convexo.

Función convexa

En matemática, 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: