几项几次式的定义