A link invariant is a property that remains unchanged under ambient isotopies of a link, making it a critical tool in knot theory for classifying and distinguishing links up to topological equivalence. It allows mathematicians to systematically study links by simplifying them into measurable, invariant quantities such as polynomial expressions or numerical indices.