命題
E を実数体 R 上の線形空間とする。

E の凸部分集合の任意の族の共通部分は凸である。

証明
定義(>>424)から明らかである。