Minimally Inductive Set is Minimal

Theorem
The minimal infinite successor set $\omega$ is a subset of every inductive set.

Proof
Let $A$ be an inductive set.

Let $B$ be another arbitrary inductive set.

Then from Intersection is Subset, $A \cap B \subseteq A$.

From Intersection of Inductive Sets, $A \cap B$ is also an inductive set.

This set $A \cap B$ is one of the subsets

By the definition of $\omega$ it follows that $\omega \subseteq A \cap B$, and consequently that $\omega \subseteq B$.