[2G4]Sia dunque \(A⊆ℝ^ n\) un insieme non vuoto, l’inviluppo convesso di \(A\) l’intersezione di tutti gli insiemi convessi che contengono \(A\). Per via di [059]↺↻, \(co(A)\) è il più piccolo insieme convesso contenente \(A\).