Cantor–Bernstein–Schroeder Theorem
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
A theorem stating that if there exists an injective function from A into B and an injective function from B into A, then there exists a bijection between A and B; mutual embeddability implies equipotence.