The three Reidemeister moves are local changes of alink diagram that create or remove a kink, create or remove two opposite crossings, or slide one strand past a crossing. Two diagrams represent isotopic links exactly when they are related by planar isotopy and finitely many Reidemeister moves.