Cantor–Schroeder–Bernstein theorem

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alsoKnownAs gptkb:Cantor–Bernstein_theorem
gptkb:Schroeder–Bernstein_theorem
gptkbp:appliesTo sets
gptkbp:concerns cardinality
infinite sets
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Cantor–Schroeder–Bernstein theorem
gptkbp:implies if two sets are each embeddable in the other, they have the same cardinality
gptkbp:namedAfter gptkb:Felix_Bernstein
gptkb:Georg_Cantor
gptkb:Ernst_Schröder
gptkbp:publishedIn gptkb:Mathematische_Annalen
gptkbp:sentence If there exist injective functions from set A to set B and from set B to set A, then there exists a bijective function between A and B.
gptkbp:yearProved late 19th century
gptkbp:bfsParent gptkb:Schroeder–Bernstein_theorem
gptkbp:bfsLayer 6