Quandle

Ein Quandle ist ein idempotentes Rack: eine Menge X mit einer binären Operation ▷, die links selbstdistributiv ist, jede Linkstranslation L_a eine Bijektion ist und zusätzlich a ▷ a = a für alle a gilt. Quandles abstrahieren die Konjugation und werden häufig in Knoteninvarianten verwendet.