1: \begin{definition}

2: Let $\E$ be a quantum Dirichlet form on the tracial von Neumann algebra $(\M,\tau)$. We say that $\tau$ is \emph{energy dominant} if one of the equivalent assertions of Theorem \ref{char_energy_dom} holds.

3: \end{definition}