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 and .
Hint
A finite set has cardinality if there exists a bijection with .
Show solutionHide solution
Solution
Definition. A set is finite with cardinality if there is a bijection . The empty set has cardinality .
Compute. and .
Conclusion. , .