Clone D'Opérations

Sur un ensemble A, un clone est un ensemble C d'opérations finies (de cardinalité finie d'arguments) sur A contenant toutes les projections et fermé par composition (substitution) : composer des opérations de C (avec arités compatibles) donne une opération dans C. Abstraitement, les clones codent toutes les opérations de termes définissables à partir d'une signature sur le même support.