Conjunto finito

Un conjunto finito A es aquel que tiene un número finito de elementos, o de otro modo, que puede ponerse en correspondencia biunívoca con un conjunto del tipo 1, 2, 3, ..., n, donde n es un número natural. Esto significa que podemos emparejar los elementos de A y los de 1, 2, 3, ..., n  sin que sobre ninguno. Si un conjunto no verifica esto entonces es infinito.