代数方程的定义