Definition:Lottery Induced by Preference Relation

Definition
Let $G$ be a game.

Let $P$ be a player of $G$.

Let $A$ be the set of moves available to $P$.

Let $C$ be the set of consequences of those moves.

Let the consequences of those moves be affected by a random variable on a probability space $\Omega$ whose realization is not known to the players before they make their moves.

Let $g: A \times \Omega \to C$ be the consequence function for $P$.

Then the lottery on $C$ induced by the profile of preference relations over $C$ is defined by:
 * $\forall a, b \in A: \left({a \succsim_i b}\right) \iff \left({g \left({a, \omega_a}\right) \succsim_i^* g \left({b, \omega_b}\right)}\right)$