The Kauffman bracket is the unoriented diagram invariant determined by resolving each crossing into its two smoothings and replacing every additional disjoint circle by the loop factor . It is invariant under the second and third Reidemeister moves.
New to topics? Read the docs here!