for V being non empty Abelian add-associative vector-distributive scalar-distributive scalar-associative scalar-unital CLSStruct
for M, N being Subset of V st M is convex & N is convex holds
M + N is convex