定義
E を実数体 R 上の線形空間とする。
A を E の部分集合とする。

A の任意の２点 x, y に対して [x, y] (>>423) が A に含まれるとき
A を凸という。