1: \begin{definition}\label{def:reducedform}

2: A game  $G\in\GS$ is said to be \textit{reduced} if none of Theorems~\ref{thm:domination},

3: \ref{thm:nonatomic},~\ref{thm:atomic}, or~\ref{thm:substitute} can be applied to

4: $G$ to obtain an equivalent game with different sets of options.

5: \end{definition}

6: