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