[2DD]A set A equipotent to β is called countably infinite; 1 such a set is infinite (by the result [2GH]βΊβ» above).