Um conjunto é finito quando é possível contar seus elementos e a contagem termina.

Um conjunto é Enumerável se os seus elementos podem ser dispostos em uma seqüência (permitindo repetições)

Seja \(A=x_{1},x_{2},...,x_{n}\) um conjunto finito. Seja \({\displaystyle f:I_{n}\rightarrow X}\) uma bijeção, onde \(f(i)=x_{i},i=1,...,n\). Logo \(f\) é bijetiva. Portanto \(A\) é enumerável. Se \(A\) e \(B\) são enumeráveis, então \(A\cup B\) também é um conjunto enumerável.