\begin{definition}[Definition:Salem Number]
A '''Salem number''' is a real algebraic integer $\alpha$ such that:
:$\alpha > 1$
: its conjugate roots all have absolute value no greater than $1$, at least one of which has absolute value exactly $1$.
\end{definition}