Definition:Peano Structure

Definition
A Peano structure 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.

They were formulated by Peano, and were later refined by Dedekind.

Also see

 * Peano Structure is Unique
 * Minimal Infinite Successor Set forms Peano Structure