O kümeyi içeren en ufak konveks küme. Denk olarak, o kümeyi içeren konveks kümelerin kesişimi. İnşacı tanım:
$$KK(S):=\{\sum_{i=1}^n\lambda_ix_i|n\in\mathbb{N},x_i\in S,\lambda_i\in\mathbb{R}_{\geq 0}, \forall i=1,\cdots,n;\sum_{i=1}^n\lambda_i=1\}$$