Dados dos conjuntos formula_14 y formula_15, entre los cuales existe una función biyectiva formula_16 tienen cardinales que cumplen: