Netto's theorem

GPTKB entity

Statements (9)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alsoKnownAs gptkb:Schröder–Bernstein_theorem
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Netto's theorem
gptkbp:namedAfter gptkb:Eugen_Netto
gptkbp:sentence If there is an injective function from set A to set B and an injective function from set B to set A, then there is a bijective function between A and B.
gptkbp:yearProposed 1895
gptkbp:bfsParent gptkb:Eugen_Netto
gptkbp:bfsLayer 7