\begin{definition}[Definition:Consequence Function]
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.
A '''consequence function''' for $P$ is a mapping from the set $A$ to the set $C$:
:$g: A \to C$
\end{definition}