КЛОН

операции - всякое замкнутое относительно композиции множество конечноместных операций вида содержащее все единичные операции т. е. такие, что

для любого набора (а ₁, ..., a_i,..., а _п )из А ^п, где 1 = 1,2,..., А- произвольное фиксированное множество. Под композицией операций w₁( х ₁, ..., x_j, ..., х _п )и w₂ (y, ..., у _т )понимается операция w₃(z₁, ..., z_t), задаваемая с помощью формулы вида

где для множеств переменных X = {x₁, ..., x_j,..., x_n], Y = {y₁, ..., y_m} и Z={z₁,..., z_l )выполнено

В. Б. Кудрявцев.