Quasigroup

Quasigroup

A quasigroup (Q, *) is a set Q with a binary operation * (that is, a magma), such that for each a and b in Q, there exist unique elements x and y in Q such that:

Read more about Quasigroup.