Un cuasi grupo "Q" es un sistema de elementos "Q"(a,b,c...) en el cual está definida una operación binaria de producto "ab" tal que, en "ab = c" cualesquiera dos de a, b, c determina, de modo único, el tercero como elemento de "Q".