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