Resposta:

Na teoria dos conjuntos, um conjunto é infinito se possui uma correspondência biunívoca com um dos seus subconjuntos próprios. Um conjunto infinito pode ser enumerável ou não.

Espero ter ajudado