The Cantor-Schröder-Bernstein theorem states that injections and imply a bijection .
Let and . Clearly . For the reverse bound, let be the usual Cantor set, of cardinality . It is closed with empty interior, so is dense. The map
is injective, because . Applying the Cantor-Schröder-Bernstein theorem gives
One can see by coding binary sequences as ternary expansions using only digits zero and two, together with the usual . The same fixed works for all subsets. This is the cardinality of the family of dense subsets of the reals.