# Intersection of Infinite Successor Sets

## Theorem

Let $\mathbb S$ be a non-empty indexed family of infinite successor sets.

Then $\bigcap \mathbb S$ is an infinite successor set.

## Proof

From definition, a set $X$ is an infinite successor set if and only if both the following holds:

$\O \in X$
$x \in X \implies x^+ \in X$

For all $S \in \mathbb S$, $S$ is an infinite successor set.

From definition of an infinite successor set, $\O \in S$.

By definition of set intersection, $\O \in \bigcap \mathbb S$.

Now suppose $x \in \bigcap \mathbb S$.

By definition of set intersection:

$\forall S \in \mathbb S: x \in S$

Hence from definition of an infinite successor set, $x^+ \in S$.

By definition of set intersection, $x^+ \in \bigcap \mathbb S$.

Therefore $\bigcap \mathbb S$ is an infinite successor set.

$\blacksquare$