Внутренние гомоморфизмы и позитивно-условные термы

Находятся критерий для того, чтобы две конечные или равномерно локально конечные алгебры конечной сигнатуры были позитивно-условно рационально эквивалентны (в терминах полугрупп внутренних гомоморфизмов этих алгебр), и критерий для того, чтобы две конечные алгебры были сильно схожи (в терминах обогащенных полугрупп внутренних гомоморфизмов этих алгебр).