for V being non empty Abelian RLSStruct
for M being Subset of V st M is convex holds
for r being Real st 0 < r & r < 1 holds
((1 - r) * M) + (r * M) c= M