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