Quandle

Un quandle es un rack idempotente: un conjunto X con una operación binaria ▷ que es auto-distributiva por la izquierda, cada traslación izquierda L_a es una biyección, y además a ▷ a = a para todo a. Los quandles abstraen la conjugación y se usan ampliamente en invariantes de nudos.