.若formula_1是凸集，对于任意formula_17，及所有非负数formula_18满足formula_19，都有formula_20。这个向量称为formula_21的凸组合。
非欧几何的凸集.对于非欧平面，可用测地线来取代在欧几理德凸集的定义内直线段。