Definition The set of linked lists of natural numbers $L$ is defined recursively by $$\begin{array}{ll}\text{Basis Step: }& []\in L\\ \text{Recursive Step: }& \text{If }l\in L\text{ and }n\in \mathbb{N}\text{, then }(n,l)\in L\end{array}$$