Rack

Un conjunto X con una operación binaria ▷ tal que para todo a en X la traslación izquierda L_a(x)=a ▷ x es una biyección de X, y la operación es auto-distributiva por la izquierda: a ▷ (b ▷ c) = (a ▷ b) ▷ (a ▷ c). Los racks modelan una autoacción algebraica sin exigir idempotencia.