Об алгебраически эквивалентных клонах

Два функциональных клона $F$ и $G$ на множестве $A$ называются алгебраически эквивалентными, если совпадают совокупности решений на $A$ для $F$- и $G$-уравнений. Доказывается, что число попарно алгебраически не эквивалентных экзистенциально аддитивных клонов на конечных множествах $A$ конечно. Доказываются результаты о строении классов алгебраической эквивалентности, включающих в себя эквационально аддитивный клон, в решётках всех клонов на конечных множествах.