Intersection of Infinite Successor Sets

From ProofWiki
Jump to navigation Jump to search

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$


Sources