零多项式的定义