Teorema de Cantor–Bernstein–Schroeder

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Teorema que afirma que si existe una función inyectiva de A en B y una función inyectiva de B en A, entonces existe una bijección entre A y B; la embebibilidad mutua implica equipotencia.