 Independence axiom for lottery preferences

Mixing two lotteries with the same third lottery and the same positive weight preserves their strict preference order. For affine utility on probability measures, the difference of the two mixed utilities is the original difference multiplied by that weight. At weight zero the strict preference disappears, so positivity is essential.