定義
E を実数体 R 上の線形空間とする。
A を E の部分集合とする。

A の平衡包(>>439)の凸包(>>431)を A の凸平衡包と言う。