for V being RealLinearSpace
for A being Subset of V holds Affin (conv A) = Affin A