EXEMPLO 4. O conjunto A dos racionais estritamente positivos é enumerável.

A afirmação é verdadeira. O conjunto dos racionais estritamente positivos é enumerável, ou seja, é possível estabelecer uma correspondência biunívoca entre seus elementos e os números naturais. Uma forma de fazer isso é listar os elementos do conjunto em uma tabela, onde cada linha representa uma fração irredutível e cada coluna representa um denominador diferente. Em seguida, basta percorrer a tabela em diagonal, enumerando cada fração na ordem em que ela aparece.