text: Первоначально был определён на диаграмме зацеплений как: F ( K ) ( a , z ) = a − w ( K ) L ( K ) {\displaystyle F(K)(a,z)=a^{-w(K)}L(K)} , где w ( K ) {\displaystyle w(K)} — закрученность диаграммы зацепления и L ( K ) {\displaystyle L(K)} — многочлен, определённый на диаграмме зацепления со следующими свойствами: L ( O ) = 1 {\displaystyle L(O)=1} ( O {\displaystyle O} — тривиальный узел); L ( s r ) = a L ( s ) , L ( s ℓ ) = a − 1 L ( s ) {\displaystyle L(s_{r})=aL(s),\qquad L(s_{\ell })=a^{-1}L(s)} ; L {\displaystyle L} не меняется при применении движений Рейдемейстера типа II и III. Здесь s {\displaystyle s} — нить, а s r {\displaystyle s_{r}} (соответственно, s ℓ {\displaystyle s_{\ell }} ) — та же нить с добавлением правого (соответственно, левого) витка (используя движение Рейдемейстера типа I).