Contrariamente a los ordinales, esta biyección no tiene que respetar el orden (además los conjuntos no tienen que ser ordenados).