\begin{definition}[Definition:Null String]
A '''null string''' (or '''empty string''') is a string with no symbols in it.
In particular, the '''null string''' is a word.
A null string has a length of $0$.
\end{definition}