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