凸集合
S ⊆ Conv(S),