Об алгебре операторов перечисления

Изучается алгебра операторов перечисления $\mathscr{E}=\langle E,I,*\rangle$, где $E$ – множество всех операторов перечисления, $I$ – тождественный оператор, $*$ – операция суперпозиции. Доказано существование $n$-элементных базисов $\mathscr{E}$ при $n\ge2$ и континуума максимальных подалгебр в $\mathscr{E}$. С помощью одной теоремы А. И. Мальцева доказано, что $\mathscr{E}$ не является конечно-определенной алгеброй.
Библиогр. 4.