Existe una definición alternativa de conjunto infinito basada en esta propiedad característica: