Definición:
El tamaño de un conjunto es la cantidad de elementos distintos del conjunto.

Ejemplos:
a) El tamaño del conjunto {a, b, c} es 3

b) El tamaño del conjunto {a, o, d} es 3

c) El tamaño del conjunto {{a, b}} es 1

d) El tamaño del conjunto es cero

Para encontrar el tamaño de dos conjuntos de manera comparativa, se necesita la siguiente

Definición:
Dados dos conjuntos P y Q se dice que existe una correspondencia uno a uno (Biunicova) entre los elementos de P y los de Q, si es posible “aparear” los elementos de P y de Q de tal modo que todos los elementos P estén aparecidos con distintos elementos de Q.

Ejemplo:
Existe una correspondencia biunívoca entre los elementos de {a, b} y los de {c, d}, también existe una correspondencia biunívoca entre los de {a, b, c} y los de {0, a, b}, pero no existe una correspondencia biunívoca entre los elementos de {a, b, c} y los de {a, d}.

Definición:
Se dice que un conjunto es finito si existe una correspondencia biunívoca entre los elementos del conjunto y los elementos de algún conjunto n , y se dice que n es la cardinalidad del conjunto.

Ejemplo:
La cardinalidad de los conjuntos {a, b, c}, {a, o, d}, {1, 2, 3}, {,{},{, {}}} es 3

Definición:
Se dice que un conjunto es infinito contable (o inifito numerable o que la cardinalidad del conjunto es infinita contable), si existe una correspondencia uno a uno entre los elementos del conjunto y los elemento de .

Ejemplos:
El conjunto de los números naturales ={1, 2, 3, ... } es un conjunto infinito contable.

El conjunto de todos los enteros pares no negativos { 2, 4, 6, ...}es un conjunto infinito contable, pues existe una correspondencia uno a uno entre los enteros pares no negativos y los números naturales, a saber el entero 2i le corresponde el número natural i, para i = 1, 2, ..., es decir:

De manera análoga, el conjunto de todos múltiplos de 7 no negativos {7, 14, 21, ... }es infinitos numerable, es decir:

Cabe señalar que un conjunto es infinito contable si, comenzando con un cierto elemento podemos listar sucesivamente, uno detrás de otro todos los elementos del conjunto, pues esa lista nos permite construir una correspondencia uno a uno entre los elementos del conjunto y los números naturales .

Ejemplo:
El conjunto de los enteros = { ..., -3, -2, -1, 0, 1, 2, 3, ... }, es un conjunto infinito contable, porque sus elementos pueden ser listados como = { 0, 1, -1, 2, -2, 3, -3, ...}, ya que se puede hacer una correspondencia uno a uno entre los elementos del conjunto de los enteros y los números naturales , es decir:

La unión de un número finito contable de conjuntos infinitamente contable es un conjunto infinito contable. Lo mismo sucede con la unión de un número infinito contable de conjuntos infinitos contables.

Ejemplo:
El conjunto de los números racionales es un conjunto infinito numerable ya que puede ser listado como sigue:

Además se puede observar que se pueden hacer una cantidad infinita numerable de sublistas, donde cada una es a la vez un conjunto infinito numerable, y la unión de todas ellas es el conjunto de los números racionales .