Malcev Operation

A Malcev operation is an Algebraic Theory with a single Ternary Operation $[-,-,-]:A\to A\to A\to A$ such that every element is Biunitary. Explicitly, this means that

• $\forall x,y.\;[x,x,y]=y=[y,x,x]$