凸包絡（convex envelope）是最佳化論中有某些性質的函式，其定義如下：定義：設f:S->R 是下半連續函式，其中S是n維空間中的非空凸集，則f(x)在S上的凸包絡 是指滿足如下性質的函式F(x)：（1） F(x)在S上是凸的；（2）對於所有的x屬於S，有F(x)小於等於f(x)；（3）若h(x)是任意一個定義在S上的凸函式，並且對於所有的x屬於S，h(x)小於等於f(x)，則所有的x屬於S，有h(x)小於等於F(x)。可理解為最凸的凸函式
