\begin{definition}[Definition:Knot (Knot Theory)]
Let $Y$ be a manifold and $X \subset Y$ a submanifold of $Y$.
Let $i: X \to Y$ be an inclusion, that is a mapping such that $i \sqbrk X = X$.
Then a '''knotted embedding''' is an embedding $\phi: X \to Y$ (or the image of such an embedding) such that $\phi \sqbrk X$ is not freely homotopic to $i \sqbrk X$.
\end{definition}