Quasigroup

- Mathematics & Logic -
Pure Mathematics Dictionary
A set equipped with a binary operation such that for any two elements a and b there exist unique x and y satisfying a * x = b and y * a = b. Equivalently, the multiplication table is a Latin square; no identity element is required.