 The main theorem in this chapter is a proof of the Cantor-Bernstein theorem, that if a set \(\alpha\) is similar to a subset z of another set \(\beta\) and \(\beta\) is similar to a subset \(\delta\) of \(\alpha\) then \(\alpha\) and \(\beta\) are themselves similar: