  The article investigates the properties of associative ideals in monoids.
Such ideals have some applications in the logic of non-standard sequences and
category theory. The relations of these ideals with the verbal structure of
words over generators are examined. Finitely and infinitely generated monoids
are treated separately.
