比如x^2+y^2+xy+xy^2，处理之后只剩下x^2+y^2+xy，只要有y^2和xy，xy^2这一项就去掉。但如果是x^2+xy^2，处理过后还是x^2+xy^2

x^2 + y^2 + x y + x y^2 /. x^n_. * y^m_. /; (n + m) >= 3 :> 0
x^2 + x y^2 /. x^n_. * y^m_. /; (n + m) >= 4 :> 0
形如 n_. 的表示, 匹配了包括幂次等于 1 的情况, 但不包括幂次等于 0 的情况
而形如 n_ 的表示, 匹配了不包括幂次等于 1 或 0 的情况
然后书写 Condition ( 缩写为 /; ) 将高阶项替换为 0

目测又是在搞“点附近的多元泰勒展开”：
func[x_, y_] := x^2 + y^2 + x y + x y^2
Normal@Series[func[x t, y t], {t, 0, 2}] /. t -> 1
更多内容参看SE帖子《Multivariable Taylor expansion does not work as expected》（编号：15023）