Klon von Operationen
Definition
Auf einer Menge A ist ein Klon eine Sammlung C finiter Operationen auf A, die alle Projektionen enthält und unter Komposition (Substitution) abgeschlossen ist: das Komponieren von Operationen aus C (mit passenden Stelligkeiten) ergibt wieder eine Operation in C. Abstrakt kodieren Klone alle termal erzeugten Operationen einer Signatur auf demselben Träger.