Dados dos conjuntos formula_20 y formula_21, entre los cuales existe una función biyectiva formula_22 tienen cardinales que cumplen: