Minimally Inductive Set is Minimal

From ProofWiki
Jump to navigation Jump to search

Theorem

The minimally inductive 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$.

$\blacksquare$


Sources