Definition:Peano Structure

Definition
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.

Also known as
A Peano structure is also known as a Dedekind-Peano structure.

Also see

 * Peano Structure is Unique
 * Minimally Inductive Set forms Peano Structure