In mathematica, un loop[1] (o un bucla) es un structura algebric. Illo es un quasigruppo con un elemento neutre.