Tanto formula_54 como formula_55 tienen cardinal igual a formula_63, pues, por ejemplo, la aplicación