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.