Клон (алгебра)

Клоном в універсальній алгебрі є множина операцій $C$ на множині $A$ (множина-носій), така що:

• $C$ містить всі проєкції ${\pi }_k^n:A^n\to A$, вони визначені як ${\pi }_k^n(x_1,\dots ,x_n)=x_k;$
• $C$ є замкненою відносно операції композиції функцій.

Універсальна алгебра сигнатури $\sigma ,$ тобто множина операцій на множині-носії визначена за допомогою $\sigma -$формул є клоном.

І навпаки, довільний клон може бути представленим через формули із сигнатури деякої універсальної алгебри.

Джерела

• Шаблон:Кон.Универсальная алгебра