Definition:Natural Numbers/Inductive Set Definition

Definition
Let $x$ be a set which is an element of every inductive set.

Then $x$ is a natural number.