Definition

Given a field $\mathbb{F}$ and a polynomial $f\in\mathbb{F}[x]$, we define $\alpha\in\mathbb{F}$ as a root of $f$ if $$f(\alpha)=0$$