In matematica, gruppoide nel quale esistono, per ogni coppia di elementi a e b almeno un elemento x e un elemento y tali che ax=b e ya=b; rispetto alla consueta definizione di gruppo, non si richiede che valga la proprietà associativa (PT)