for V being RealLinearSpace
for A, B being Subset of V st A c< B holds
conv A misses Int B