for X being RealLinearSpace
for M being convex Subset of X holds conv M = M by CONVEX1:30, CONVEX1:41;