theorem :: CONVEX1:39

for V being non empty RLSStruct
for M, N being Subset of V
for r being Real st M c= N holds
r * M c= r * N by Lm6;