Un conjunto finito es aquel que contiene un número finito de elementos, es decir, elementos que se pueden contar. Los conjuntos finitos tienen propiedades como que su cardinal es un número natural y que existe una correspondencia biunívoca entre los elementos del conjunto y los números naturales menores o iguales a su cardinal.