Let be a gamble space in game-theoretic probability. Given an event , we define the upper probability of as

where is the upper expectation (game-theoretic expectations). Similarly, the lower probability is defined as

If we simply write .