Exercise · ZW-FINITE-SET-001 · ★☆☆ Basic

How is it defined that a set \(A\) is finite?

Choose one option.

Show answer
  • D. There is a bijection between \(A\) and \(\{1,\dots,n\}\) for some \(n\)

Explanation

The definition requires a bijection with some \(\{1,\dots,n\}\). An injection into \(\mathbb{N}\) also exists for infinite sets such as \(\mathbb{N}\) itself.

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-002 →