Коммутативные абелевые алгебры

В данной статье изучаются коммутативные абелевые алгебры, к которым применяется конструкция алгебры полутермов. Найдено необходимое условие выполнимости произвольного сверхтождества (т.е. $\forall(\forall)$-тождества) в классе коммутативных абелевых алгебр.