凸集合
ベクトル空間の部分集合 A は、もっとも小さな凸集合(A の凸包と呼ぶ)に含まれる。すなわち、凸包は、A を含むすべての凸集合の交叉である。凸包作用素 Conv() は包作用素(英語版)を特徴づける性質をもつ。