(Por ejemplo, si B es un conjunto infinito pero Dedekind-finito, y A es el conjunto de las sucesiones inyectivas de B, entonces "quitar el último elemento" es una función suprayectiva pero no inyectiva de A en A, aunque A es finito-Dedekind.)
That is what we are saying we have to move towardWikiMatrix WikiMatrix