Un Cuasigrupo es una estructura algebraica similar a un grupo en el sentido de que la ""división"" es siempre posible. Los cuasigrupos se diferencian de los grupos en que no poseen la propiedad asociativa. Un cuasigrupo con elemento neutro se llama bucle.