LC-loop

Definition
An algebra loop $$(L,*)$$ is termed a LC-loop if it satisfies the following identity for all $$x,y,z \in L$$:

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