Conjunto finito

En matemáticas, un conjunto finito es un conjunto que tiene un número finito de elementos. Por ejemplo {2, 4, 6, 8, 10, 12} es un conjunto finito con seis elementos. La cardinalidad o número de elementos de un conjunto finito es igual a un número natural.

Si un conjunto no es finito, entonces es infinito. Por ejemplo, el conjunto N = {1, 2, 3, ...} de los números naturales es infinito. Todo conjunto finito es un conjunto numerable, puesto que sus elementos pueden contarse, pero la recíproca es falsa: existen conjuntos numerables que no son finitos (como el propio N).

Los conjuntos finitos son particularmente importantes en combinatoria.