The chain of The Cantor–Schröder–Bernstein Theorem: 2 of 2 objects, read left to right from what the chapter assumes to what tests it. Solid lines are declared logical edges, dashed ones were inferred from the structure of the source. Click any node to open its own chain.