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

What does it mean for a set \(A\) to be countable?

Choose one option.

Show answer
  • B. \(A\) is finite or equipotent to \(\mathbb{N}\).

Explanation

The definition requires being finite or equipotent to \(\mathbb{N}\). Containing \(\mathbb{N}\) is not enough: \(\mathbb{R}\) contains it and is uncountable.

Study Set theory in ZWMath →

Review the concept: Countable set

A set is countable if it is finite or equipotent to \(\mathbb{N}\), that is, if its elements can be listed in a sequence.

\[A \text{ numerable} \iff A \text{ finito} \lor A\sim\mathbb{N}\]

More practice problems: countable set

ZW-COUNTABLE-SET-002 →