משפט קנטור-שרדר-ברנשטיין

אם יש דרך לשים כל אבן מ‑A על אבן שונה ב‑B, ויש גם דרך לשים כל אבן ב‑B על אבן שונה ב‑A, אז אפשר למצוא דרך שמחברת כל אבן ב‑A לאבן ב‑B בצורה אחת-על-אחת. "פונקציה חד-חד-ערכית" פירושו: כל שני איברים שונים נשלחים לשתי תמונות שונות. "פונקציה עלית" פירושו: כל איבר ב‑B הוא תמונה של מישהו מ‑A. יש כמה דרכים ...