Los conjuntos finitos son aquellos cuya cardinalidad, o número de elementos de contiene, es igual a un número natural. Un conjunto finito, en otras palabras, es aquel que posee un número de elementos que pueden contarse. Siendo lo opuesto a un conjunto infinito, donde los elementos son incontables

Cuando un conjunto no tiene elementos, se denomina conjunto vacío y lo representamos con la letra j , (FI). 1.1.4.1

Un conjunto infinito es un conjunto que no puede ponerse en correspondencia biunívoca con ningún conjunto {1, 2, 3, ..., n} para ningún número natural n. Los conjuntos infinitos poseen las siguientes propiedades: La unión de dos conjuntos es infinita siempre que al menos uno de ellos sea infinito.