Definition:Order Type of Natural Numbers

From ProofWiki
Jump to navigation Jump to search

Definition

Consider the set of natural numbers $\struct {\N, \le}$ where $\le$ is interpreted in its conventional meaning.

That is, $\N$ arranged in increasing order $0, 1, 2, \ldots$


The order type of $\struct {\N, \le}$ is denoted $\omega$ (omega).


Sources