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