For instance, the set of countably infinite binary sequences (by definition, the set of functions from non-negative integers to , also known as the Cantor space ) is not well-ordered; the subset of sequences that have precisely one (i.e. )