# Definition:Minimal Infinite Successor Set/Definition 3

Jump to navigation
Jump to search

## Definition

The **minimal infinite successor set** $\omega$ is defined as:

- $\omega := \set {x \in \On: \paren {x \cup \set x} \subseteq K_I}$

where:

- $K_I$ is the class of all non-limit ordinals
- $\On$ is the class of all ordinals.

## Also see

- Results about
**the minimal infinite successor set**can be found here.

## Sources

- 1971: Gaisi Takeuti and Wilson M. Zaring:
*Introduction to Axiomatic Set Theory*: $7.28$