إذًا، فالعقدة الحرة في formula_1 هي عبارة عن فئة مكافئة لـدالتين متصلتين من الدائرة formula_3 إلى formula_1.
Then a free loop in formula_1 is an equivalence class of continuous functions from the circle formula_3 to formula_1.