Left alternative loop

Symbol-free definition
A loop is termed a left-alternative loop if it is a fact about::left-alternative magma.

Definition with symbols
An algebra loop $$(L,*)$$ is termed a left-alternative loop if the following identity is satisfied for all $$x,y \in L$$:

$$\! x * (x * y) = (x * x) * y$$