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.