In
mathematics, the
Latin square property is an elementary property of all
groups and the defining property of
quasigroups. It states that if (
G, *) is a group or quasigroup and
a and
b are elements of
G, then there exists a unique element
x in
G such that
a*
x=
b, and a unique element
y of
G such that
y*
a=
b.