Abstract.
The theory of algebraic characterization of rational, linear and algebraic languages over an OMEGA-complete semiring, defined by corresponding systems of equations, is applied for various underlying operations on multisets.