Cualquier conjunto equivalente a un conjunto finito no vacíoA es un conjunto finito y tiene la misma cardinalidad queA. SiS es un conjunto finito yA es un subconjunto deS, entonces...Cualquier conjunto equivalente a un conjunto finito no vacíoA es un conjunto finito y tiene la misma cardinalidad queA. SiS es un conjunto finito yA es un subconjunto deS, entoncesA es finito ycard(A)≤card(S). SiA es un conjunto contablemente infinito yB es un conjunto finito, entoncesA∪B es un conjunto infinitamente contable.