Un invariante de nudos es una "cantidad" que es la misma para nodos equivalentes.