Dado un conjunto infinitoA, basta con construir una secuencia infinitaa1,a2,a2,… de elementos distintos deA, pues entonces{a1,a2,a3,…} es...Dado un conjunto infinitoA, basta con construir una secuencia infinitaa1,a2,a2,… de elementos distintos deA, pues entonces{a1,a2,a3,…} es un subconjunto contablemente infinito deA. Dada ya sea una secuencia infinitaA1,A2,A3,… de conjuntos contables, o una secuencia finitaA1,A2,A3,…,An, An de conjuntos contables, deseamos mostrar que la unión de los conjuntos es contable.