1: \begin{definition}

2: If $(\Omega,\basemeasure,\theta,T,X,\phi)$ are as in Theorem \ref{theoremvarprinciple}, then an \emph{equilibrium state} of $(\X,\T,\phi)$ over $(\Omega,\basemeasure,\theta)$ is an element $\sigma\in \M(\X,\T,\basemeasure)$ on which the supremum in (\ref{varprinciple}) is achieved. If $\phi = 0$, an equilibrium state is called a \emph{measure of maximal relative entropy} of $(\X,\T)$ over $(\Omega,\basemeasure,\theta)$.

3: \end{definition}

4: