Natural Numbers

• Natural Numbers #Card
  • Denoted by $\mathbb{N}$ (includes $0$). - $N_m := {n \in \mathbb{N} : n \ge m}$. - Notation: $n < \omega \iff n \in \mathbb{N}$.

Back

Denoted by $\mathbb{N}$ (includes $0$).

• $N_m := {n \in \mathbb{N} : n \ge m}$.
• Notation: $n < \omega \iff n \in \mathbb{N}$.

Lean

ℕ (Nat)