theorem Th4: :: CONVEX1:4

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