2Un cône convexe d’un espace vectoriel est un ensemble qui contient toutes les combinaisons ru + sv de ses éléments, où r,s 0 ne sont pas tous les deux nuls. La vérification directe du fait que H+(

-→
 E ) est un cône convexe est facile.