Schröder-Bernstein theorem/Definition

A classic theorem of set theory asserting that sets can be ordered by size.