Ordinals defined by successor and union

35 Views Asked by At

Let $M$ be the smallest set of ordinals satisfying

  • $0\in M$
  • $x\in M\implies x+1\in M$
  • $S\subseteq M\implies \bigcup S\in M$

What does $M$ look like? Is it all ordinals? Is it all countable ordinals?

Is there a standard notation for $M$?