定義
K を実数体または複素数体とする。
E を K 上の線形空間とする。
A を E の部分集合とする。
A の平衡包(過去スレ008の439)の凸包(過去スレ008の431)を
A の凸平衡包と言う。