Definition

Let $\mathbb{F}$ be any field containing subfield $K$. Given $\alpha\in\mathbb{F}$, $\exists!$ minimal polynomial, $m(x)\in K[x]$ s.t. $$m(\alpha)=0$$$m$ is unique and irreducible.