\begin{definition}[Definition:Irreducible Polynomial/Definition 1]
Let $R$ be an integral domain.
An '''irreducible polynomial''' over $R$ is an irreducible element of the polynomial ring $R \left[{X}\right]$.
\end{definition}