Un número algebraico ξ satisface la raíz de un polinómio mónico e irreducible único "h"("x") = 0 sobre ℚ.