\begin{definition}[Definition:Optimal Strategy]
Let $G$ be a game.
Let $P$ be a player of $G$.
An '''optimal strategy''' for $P$ is a strategy that contributes towards a solution of $G$.
\end{definition}