\begin{definition}[Definition:Peano Structure]
A '''Peano structure''' $\struct {P, 0, s}$ comprises a set $P$ with a successor mapping $s: P \to P$ and a non-successor element $0$.
These three together are required to satisfy Peano's axioms.
\end{definition}