 Cantor–Dedekind axiom

The Cantor-Dedekind axiom, also known as the Cantor-Bernstein-Schröder theorem, is a fundamental principle in set theory concerning the notion of cardinality, particularly with regard to comparing the sizes of infinite sets.