In the present paper by an algebraic system (algebra) A we shall mean a system with a set F of operations fλ
: (x
1,…, xn
) ∈ A × · · · × A → fλ
(x
1,…, xn
) ∈ A. A polynomial p(x1, …, xr
) is a function of variables x1
,…, xr
which is either one of the xi
, or (recursively) a result of some operation fλ
(p
1,…, pn
) performed on other polynomials pi
. An algebra A may satisfy a set R of identities p(x1
,…, xr
) = q(x
1,…, xs
), and then A shall be called an (F, R)-algebra.