Donde si alguno de los dos conjuntos es infinito el número anterior debe entenderse como un número transfinito.