Intersection of Inductive Set as Subset of Real Numbers is Inductive Set

Theorem
Let $\AA$ be a set of inductive sets defined as subsets of real numbers.

Then their intersection is an inductive set.

Proof
By definition of inductive set:


 * $\forall S \in \AA: 1 \in S$

Thus by definition of set intersection:
 * $\ds 1 \in \bigcap_{S \mathop \in \AA} S$

Also by definition of inductive set:


 * $\forall S \in \AA: x \in S \implies x + 1 \in S$

So:

Hence the result, by definition of inductive set.