多元多项式环中的理想。