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

2:   A regular language $L$ belongs to \ttract if $L$ satisfies one of

3:   the equivalent conditions in Theorem~\ref{theo:equivalence}.

4: \end{definition}

5: