Von Neumann–Morgenstern utility theorem
The theorem states that preferences over lotteries satisfying completeness, transitivity, continuity, and independence can be represented by maximizing expected utility. Its utility function is unique up to positive affine transformations.