"Об элементарной эквивалентности производных структур свободных полугрупп, унаров и групп" - читать интересную книгу автора (Пинус А. Г.)