命題
E を実数体 R 上の線形空間とする。
A を E の部分集合とする。
A の凸平衡包(>>440)は A を含む最小の平衡的凸集合である。

証明
>>443 より明らかである。