Knot exterior (source code)

= Knot exterior
{title2=$E_K$}
{wiki=Knot_complement}

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$.

= Knot complement
{synonym}