Cantor–Dedekind axiom
= Cantor–Dedekind axiom
{wiki=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.