text: Пусть f {\displaystyle f} — инвариант узлов со значениями в вещественных числах, то есть f ( K ) {\displaystyle f(K)} есть вещественное число определённое для каждого узла K {\displaystyle K} , такое, что f ( K ) = f ( K ′ ) {\displaystyle f(K)=f(K')} , если узлы K {\displaystyle K} и K ′ {\displaystyle K'} изотопны.