Théorème de Cantor–Bernstein–Schroeder

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Théorème affirmant que si existe une injection de A dans B et une injection de B dans A, alors il existe une bijection entre A et B ; l'embeddabilité réciproque implique l'équipotence.