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