Así la operación formula_13 donde ahora formula_14 y formula_15 son dos cardinales transfinitos se define como: