Diferencia entre revisiones de «Función sobreyectiva»

Dados dos conjuntos <math>\scriptstyle A</math> y <math>\scriptstyle B</math>, entre los cuales existe una función sobreyectiva <math>\scriptstyle f:A \to B</math>, se tiene que los cardinales cumplen:

Si además existe otra aplicación sobreyectiva <math>\scriptstyle g:B \to A</math>, entonces puede probarse que existe una aplicación [[función biyectiva|biyectiva]] entre <math>\scriptstyle A</math> y <math>\scriptstyle B</math>, por el [[teorema de Cantor-Bernstein-Schröder]].