for V being non empty CLSStruct
for M being Subset of V
for N being convex Subset of V st M c= N holds
conv M c= N