Quasigruppe
Definition
Eine Menge mit einer binären Verknüpfung derart, dass zu beliebigen a,b eindeutige x,y existieren mit a * x = b und y * a = b. Äquivalent ist die Verknüpfungstabelle ein lateinisches Quadrat; ein neutrales Element ist nicht erforderlich.