Dados dos conjuntos formula_4 y formula_5, entre los cuales existe una función sobreyectiva formula_6, se tiene que los cardinales cumplen: