Un subconjunto de tiene necesariamente un cardinal o bien menor que (por ejemplo, los números naturales , con cardinal , o bien igual a (como por ejemplo el intervalo [0, 1] de los números entre 0 y 1).