Rack

Un ensemble X muni d'une opération binaire ▷ telle que pour tout a dans X la translation à gauche L_a(x)=a ▷ x est une bijection de X, et l'opération est auto-distributive à gauche : a ▷ (b ▷ c) = (a ▷ b) ▷ (a ▷ c). Les racks modélisent une auto-action algébrique sans exiger l'idempotence.