Clon de Operaciones

Sobre un conjunto A, un clon es un conjunto C de operaciones finitas (finitarias) en A que contiene todas las proyecciones y está cerrado bajo composición (sustitución): componer operaciones de C (con aridades compatibles) produce una operación en C. En abstracto, los clonos codifican todas las operaciones de términos definibles a partir de una determinada firma sobre ese portador.