In logic, a term is a variable, constant, or the result of acting on variables and constants by function symbols.
In algebra, a term is a product of the form (in the univariate case), or more generally of the form (in the multivariate case) in a polynomial (Becker and Weispfenning 1993, p. 188).
One term is said to divide another if the powers of its variables are no greater than the corresponding powers in the second monomial. For example, divides but does not divide . A term is said to reduce with respect to a polynomial if the leading term of that polynomial divides . For example, reduces with respect to because divides , and the result of this reduction is , or . A polynomial can therefore be reduced by reducing its terms beginning with the greatest and proceeding downward. Similarly, a polynomial can be reduced with respect to a set of polynomials by reducing in turn with respect to each element in that set. A polynomial is fully reduced if none of its terms can be reduced (Lichtblau 1996).