Conjunto finito

Por ejemplo, el conjunto N = {1, 2, 3, ...} de los números naturales es infinito.Una manera de expresar esto es que los elementos de A y los elementos del conjunto {1, 2, ..., n} se pueden emparejar uno a uno, sin que sobre ningún elemento en ninguno de los dos conjuntos.En matemáticas esto se expresa como: Un conjunto finito A es aquel que puede ponerse en correspondencia biunívoca con el conjunto {1, 2, ..., n}, para algún número natural n. También se dice que A y {1, 2, ..., n} son equipotentes.El número n coincide con el número de elementos de A, y se le denomina su cardinal (o su cardinalidad, su potencia, etc.), y se denota por card(A), |A| o #A.El conjunto vacío ∅ no tiene elementos, |∅| = 0, por lo que también es finito.