Element of Minimally Inductive Set is Transitive Set

Theorem
Let $\N$ be the natural numbers defined as a minimal infinite successor set $\omega$.

Let $n \in \N$.

Then $x \in n \implies x \subseteq n$.

That is, every element of a natural number is also a subset of it.

In other words, $\N$ is a transitive set.

Proof
Let $S$ be the set of all transitive natural numbers.

That is:
 * $n \in S \iff n \in \N \land \forall x \in n: x \subseteq n$

It is vacuously true that $0 \in S$, as there are no $x \in 0$.

Now suppose $n \in S$.

If $x \in n^+$ then either $x \in n$ or $x = n$.

In the first case, $x \subseteq n$ as $n \in S$, and so $x \subseteq n^+$

In the second case, $x \subseteq n^+$ by definition of successor set.

By the Principle of Finite Induction it follows that $S = \N$.

Hence the result.