Cantor–Dedekind axiom (source code)

= 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.