Um conjunto convexo é um conjunto com a seguinte propriedade: se dois quaisquer pontos estão no conjunto, então o segmento que os une também está contido nesse conjunto.

Este é um conjunto convexo pois contém todos os segmentos que unem quaisquer dois pontos desse conjunto.		Este não é um conjunto convexo: nele existem pelo menos dois pontos (por exemplo, os pontos A e B) tais que o segmento que os une não está totalmente contido no conjunto.