Un sous-ensemble C d'un espace vectoriel réel E est dit convexe si, pour tout couple de points quelconques de C, le segment qui a pour extrémités ces deux points est entièrement contenu dans C. Par exemple, un cube est convexe, mais sa surface ne l'est pas, car elle ne contient le segment d'extrémités...