\begin{definition}[Definition:Knot Product]
The '''product''' of two knots is informally defined as what you get when you tie those two knots together on the same string.
{{stub|Yes I know this is sketchy and inadequate -- a lot more background is needed before this can be fleshed out and made rigorous.}}
\end{definition}