Chromatic Homotopy Theory
《Chromatic Homotopy Theory》 · 第 353 页 · Section 11.2.6，Proposition 11.2.9 及末尾 cable knot 的定义
A knot in a solid torus \(D^2\times S^1\) is local if it is contained in a ball, and a core if it is isotopic to \(\{x\}\times S^1\). An embedding \(\phi:D^2\times S^1\hookrightarrow S^3\) is trivial (or unknotted) if the image of a core is a trivial knot. A knot \(K\subset S^3\) is satellite \(\Longleftrightarrow\) it is the image of a knot \(K'\subset D^2\times S^1\) which is neither local nor a core, along a non-trivial embedding \(\phi:D^2\times S^1\hookrightarrow S^3\). […] When \(K'\) is contained in the boundary of the solid torus \(D^2\times S^1\) the satellite knot \(K\) is called a cable knot.