Teorema de Cantor-Bernstein-Schroeder: diferenças entre revisões

O teorema de Cantor-Bernstein-Schroeder segue imediatamente como corolário, porque sendo <math>g: B \to A\,</math> injetiva, então <math>G: g(A) \to B\,</math> é a função bijetiva definida pela injetividade de ''g''.

 

 

== Referências ==