Теория узлов — изучение вложений одномерных многообразий в трёхмерное евклидово пространство или в сферу . В более широком смысле предметом теории узлов являются вложения сфер в многообразия и вложения многообразий в целом.
Вложение (чаще — его образ) несвязной суммы экземпляров окружности в или называется зацеплением кратности .
Зацепление кратности называется узлом.
Объемлемо-изотопические классы зацеплений называются типами зацеплений. Зацепления одного типа называются эквивалентными.
Зацепление, состоящее из некоторых компонент зацепления , называется его частичным зацеплением.
Говорят, что зацепление распадается (или расщепляется), если два его частичных зацепления разделены в двумерной сферой.