Quasigroupe

Un ensemble muni d'une opération binaire telle que pour tous éléments a et b il existent des éléments uniques x et y vérifiant a * x = b et y * a = b. Équivalemment, la table de multiplication est un carré latin ; aucune identité n'est exigée.