Независимая система тождеств для многообразия монолейбницевых алгебр

Вводится понятие монолейбницевой алгебры, обобщающее понятие алгебры Лейбница. А именно, алгебра $A$ над полем $K$, $\operatorname{char}K\ne2$, называется монолейбницевой, если всякая её однопорождённая подалгебра является алгеброй Лейбница. Доказывается, что многообразие $W$ монолейбницевых алгебр над бесконечным полем $K$ задаётся независимой системой тождеств
$$ x(xx)=0,\qquad x[(xx)x]=0. $$
Приводятся примеры монолейбницевых алгебр, показывающие, что многообразие $W$ не является шрейеровым.