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\)

Explanation

By the pigeonhole principle, the two bijections force \(n=m\). This is why \(|A|\) is well defined.

Study Set theory in ZWMath →

Review the concept: Finite set

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\).

\[A\sim\{1,\dots,n\}, \quad |A|=n\]

More practice problems: finite set

← ZW-FINITE-SET-003 ZW-FINITE-SET-005 →