Independence axiom for lottery preferences
= 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.