Аннотация:
Алгебра называется бинарно-лейбницевой,
если всякая ее двупорожденная подалгебра является алгеброй Лейбница.
В данной работе мы даем описание бинарно-лейбницевых алгебр
в терминах тождеств. Как следствия, мы получаем,
что многообразие бинарно-лейбницевых алгебр не является шрейеровым
и для него теорема о свободе неверна.
Библиография: 17 названий.