A system of polynomial equations is a set of simultaneous equations f₁ = 0, ..., f_h = 0 where the f_i are polynomials in several variables, say x₁, ..., x_n, over some field k.