===איחוד בן מנייה של קבוצות בנות מנייה===
(בהנחת אקסיומת הבחירה)
*תהי S קבוצה בת מנייה של קבוצות בנות מנייה, כלומר:
**<math>|S|\leq\aleph_0</math>
*מסקנה: אוסף תתי הקבוצות הסופיות של המספרים הטבעיים הוא בן מנייה.
*הערה לסרטון: אנחנו משתמשים באקסיומת הבחירה כאשר "בוחרים" את הפונקציות החח"ע מהקבוצות באוסף אל הטבעיים.