命題
E を実数体 R 上の位相線形空間とする。
E の部分集合が次の条件を満たすとき A を樽(barrel)と言う。

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