定義
K を実数体または複素数体とする。
E を K 上の線形空間とする。
A を E の部分集合とする。

∪{λA | |λ| ≦ 1, λ ∈ K } を A の平衡包という。

明らかに、A の平衡包は A を含む最小の平衡的集合
(過去スレ006の630)である。