Todo conjunto Dedekind-infinito es infinito «ordinario», y equivalentemente que todo conjunto finito «ordinario» es Dedekind-finito.