Conjuntos recursivamente enumeráveis: diferenças entre revisões

:*O conjunto ''S'' é oa intervaloimagem de uma função recursiva parcial.

:*O conjunto ''S'' é oa intervaloimagem de uma função recursiva total ou vazia. Se ''S'' é infinito, a função pode ser escolhida para ser [[injetiva]].

:*O conjunto ''S'' é oa intervaloimagem de uma função recursiva primitiva ou vazia. Mesmo se ''S'' é infinito, repetição de valores podem ser necessárias nesse caso.