Rack
Definition
Eine Menge X mit einer binären Operation ▷ derart, dass für alle a in X die Linkstranslation L_a(x)=a ▷ x eine Bijektion von X ist und die Operation links selbstdistributiv ist: a ▷ (b ▷ c) = (a ▷ b) ▷ (a ▷ c). Racks erfassen algebraische Selbstwirkung ohne Idempotenz zu verlangen.