Cantor–Bernstein–Schröder Satz
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Satz, der besagt: Existieren eine injektive Abbildung von A nach B und eine injektive Abbildung von B nach A, so existiert eine Bijektion zwischen A und B; gegenseitige Einbettbarkeit impliziert Mächtigkeitserhaltung.