zero

\(0\) is a list of length \(n\) whose coordinates are all zero

Formally—

\begin{equation} 0 = (0,\ldots,0) \end{equation}