Mathematically, a loop is a closed🔒 string. Ludologically, a loop is a simple infinite walk; such that it encloses leaves (reading frames) on a loopstring. In both cases, a loop is continuous with either no nuts, or has homologically conjoined endpoints.

Note (+): For sake of stew choreography, a loop is just a completed walk that has become unavailable for recycling.