次の定義は>>450の拡張である。

定義
E を実数体または複素数体上の位相線形空間とする。
E の部分集合 A が次の条件を満たすとき A を樽(barrel)と言う。

(1) 吸収的(過去スレ006の628)
(2) 平衡的(過去スレ006の630)
(3) 凸(>>424または>>594)
(4) 閉