Maths WorkshopMaths problems with full solutions
Exercise 218Logic, sets and proofs › Countability and cardinalityHigh schoolAdded 3 Nov 2026

Cardinality of finite sets

#finite sets#cardinality#bijection

Statement

Define the cardinality of a finite set and compute ∣{a,b,c,d}∣|\{a,b,c,d\}| and ∣∅∣|\emptyset|.

Hint

A finite set has cardinality nn if there exists a bijection with {1,…,n}\{1,\ldots,n\}.

Show solutionHide solution

Solution

Definition. A set AA is finite with cardinality nn if there is a bijection A→{1,…,n}A\to\{1,\ldots,n\}. The empty set has cardinality 00.

Compute. ∣{a,b,c,d}∣=4|\{a,b,c,d\}|=4 and ∣∅∣=0|\emptyset|=0.

Conclusion. ∣{a,b,c,d}∣=4|\{a,b,c,d\}|=4, ∣∅∣=0|\emptyset|=0.