de tal manera que a cada elemento de dicho conjunto le corresponda un número natural (y nada más que un número natural).