theorem :: CONVEX1:41

for V being RealLinearSpace
for M being Subset of V holds M c= conv M