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.
 
Voltar ao problema da iluminação