Se dice que el conjunto $S$ es convexo si, para cualesquiera dos elementos $x,y\in S$ y $\lambda \in[ 0,1]$, se tiene que $\lambda x+(1-\lambda) y \in S$.
(Para una figura geométrica en el plano, esta definición significa que dados dos puntos de la figura (dentro o en la frontera), el segmento que los une queda totalmente en la figura.)