Flexible loop

Symbol-free definition
A loop is termed a flexible loop if its underlying magma is a defining ingredient::flexible magma.

Definition with symbols
A loop $$(L,*)$$ is termed a flexible loop if it satisfies the following identity for all $$x,y \in L$$:

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