Аннотация:Для конечного множества A с заданным на нём множеством операций M определена функция, называемая темпом роста. Порядок роста этой функции характеризует силу и исчислимость множества операций. Показано, что если среди множества всех предикатов, сохраняемых всеми функциями из M, встречается лишь конечное число важных существенных предикатов, то темп роста пары (A, M) имеет логарифмический порядок.