Quandle

Un quandle est un rack idempotent : un ensemble X muni d'une opération binaire ▷ qui est auto-distributive à gauche, chaque translation à gauche L_a est une bijection, et de plus a ▷ a = a pour tout a. Les quandles abstraient la conjugaison et sont largement employés pour les invariants de nœuds.