(השתמשנו במשפט קנטור-ברנשטיין: אם A וB קבוצות שעוצמתן קטנות זו מזו אזי עוצמתן שווה.)
עוצמתן של הקבוצות הנ"ל נקראת <math>\aleph_0</math>. קבוצות מעוצמה זו נקראות '''בנות מנייה'''.
שימו לב שכל קבוצה בת מנייה, ניתן למצוא פונקציה חח"ע ועל מהטבעיים אליה - כלומר, ניתן לסדר אותה בסדרה (ומכאן מגיע השם).
==השוואות עוצמות==