Knot exterior
= Knot exterior
{title2=$E_K$}
= Knot complement
{synonym}
The knot exterior is $E_K=S^3\setminus\operatorname{int}\nu K$, where $\nu K$ is an open tubular neighborhood of the knot. It is homotopy equivalent to the <knot complement> $S^3\setminus K$.