Teorema de Cantor-Bernstein-Schroeder
De Wikipedia, a enciclopédia encyclopedia
Em teoria de conjuntos, o Teorema de Cantor-Bernstein-Schroeder, assim chamado em homenagem a Georg Cantor, Felix Bernstein e Ernst Schröder, estabelece que se existem funções injetivas f : A → B e g : B → A entre os conjuntos A e B, então existe uma função bijetiva h : A → B. Em termos da cardinalidade dos dois conjuntos, isso significa que se |A| ≤ |B| e |B| ≤ |A|, então |A| = |B|; A e B são ditos "equipolentes". Essa é obviamente uma propriedade muito útil para a ordenação de números cardinais.
Este teorema não depende do axioma da escolha.