SAGBI Basis

A canonical generating set for a subalgebra of a polynomial ring with respect to a fixed term order; SAGBI (Subalgebra Analogue to Gröbner Bases for Ideals) bases describe generators whose leading terms generate the subalgebra of leading terms.