Union of Limit Ordinal

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $x$ be a limit ordinal.


Then:

$\displaystyle x = \bigcup x$
$\displaystyle x = \bigcup_{y \mathop \in x} y$


Proof


Sources