In abstract algebra, a monomial ideal is an ideal generated by monomials in a multivariate polynomial ring over a field.
A toric ideal is an ideal generated by differences of monomials (provided the ideal is prime). An affine or projective algebraic variety defined by a toric ideal or a homogeneous toric ideal is an affine or projective toric variety, possibly non-normal.