A set is denumerable iff it is equipollent to the finite ordinal numbers. (Moore 1982, p. 6; Rubin 1967, p. 107; Suppes 1972, pp. 151-152). However, Ciesielski calls this property "countable." The set ℵ_0 is most commonly called "denumerable" to "countably infinite".