theorem Th20: :: RLTOPSP1:20

for X being RealLinearSpace
for M1, M2 being Subset of X st M1 c= M2 holds
conv M1 c= conv M2