La relación formula_16 excluye la posibilidad que los cardinales sean iguales.