Si yo existe una inyección de $\phi: S_1 \to S_2$ y un surjection $\tau: S_1 \to S_2$, no existe necesariamente un bijection entre conjuntos de $S_1$$S_2$?
Me gustaría que esto es cierto, pero no veo un camino para la construcción de un bijection directamente de $\phi$$\tau$.