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