\begin{definition}[Definition:Divisor of Polynomial]
Let $D$ be an integral domain.
Let $D \sqbrk x$ be the polynomial ring in one variable over $D$.
Let $f, g \in D \sqbrk x$ be polynomials.
Then:
:'''$f$ divides $g$'''
:'''$f$ is a divisor of $g$'''
:'''$f$ is a factor of $g$'''
:'''$g$ is divisible by $f$'''
{{iff}}:
:$\exists h \in D \sqbrk x : g = f h$
This is denoted:
:$f \divides g$
\end{definition}