A polynomial associated with a knot, with the property that if two knots are equivalent, then their polynomials are equal. Famous examples include the Alexander polynomial, introduced by James Alexander in 1923, and the Jones polynomial, introduced by Vaughan Jones in 1984.