Kirby-calculus definition

(mathematics) A method in geometric topology for modifying framed links in the 3-sphere using a finite set of moves (the Kirby moves).