These include "V""ω"− {Ø} and the set of proper and bounded open intervals of real numbers with rational endpoints. As an example of an application of ACω, here is a proof (from ZF + ACω) that every infinite set is Dedekind-infinite: