Exercise · ZW-FINITE-SET-004 · ★★☆ Intermediate
If \(A\sim\{1,\dots,n\}\) and \(A\sim\{1,\dots,m\}\), what follows?
Choose one option.
Show answer
- A. \(n=m\)
Exercise · ZW-FINITE-SET-004 · ★★☆ Intermediate
Choose one option.
By the pigeonhole principle, the two bijections force \(n=m\). This is why \(|A|\) is well defined.
A set \(A\) is finite if there is a bijection between \(A\) and \(\{1,\dots,n\}\) for some \(n\in\mathbb{N}\), where \(\{1,\dots,0\}=\varnothing\).