Los cardinales transfinitos dotados de la suma o la multiplicación constituyen un monoide conmutativo.