Cardinalidad

Los conjuntos pueden ser finitos o infinitos. En el caso de un conjunto finito se pueden contar los elementos del conjunto:

El número de elementos de un conjunto finito es su cardinal.

El cardinal se denota por |A|, card(A) o #A. Así, en los ejemplos anteriores, se tiene que |A| = 4 (cuatro números), |B| = 3 (tres colores) y |F| = 10 (diez cuadrados). El único conjunto cuyo cardinal es 0 es el conjunto vacío ∅.

En un conjunto infinito no hay un número finito de elementos. Es el caso por ejemplo de los números naturales: N = {1, 2, 3, ...}. Sin embargo, existe una manera de comparar conjuntos infinitos entre sí, y se obtiene que existen conjuntos infinitos «más grandes» que otros. El «número de elementos» de un conjunto infinito es un número transfinito.