for V being RealLinearSpace
for A being Subset of V holds conv A c= Affin A