Exercise 1558Logic, sets and proofs › Countability and cardinalityL1Added 3 Nov 2026
Cantor–Bernstein theorem
#Cantor-Bernstein#bijection#injections
Statement
State Cantor–Bernstein–Schröder and give an application.
Hint
Injections both ways give a bijection.
Show solutionHide solution
Solution
Theorem. If there is an injection and an injection , then there is a bijection .
Application. and have the same cardinality: inclusion , and injects .
Conclusion. Cantor–Bernstein reduces bijection problems to injections.