====אלף אפס היא העוצמה האינסופית הקטנה ביותר====
(בהנחת עקרון המקסימום של האוסדורף)
*תהי A קבוצה אינסופית, אזי <math>\aleph_0\leq A</math>
<videoflash>W4see8tTArk</videoflash>
*תהי A קבוצה אינסופית, ותהי B קבוצה סופית, אזי:**<videoflashmath>eaonM-yfR3w|A|=|A\cup B|=|A\setminus B|</videoflashmath>
<videoflash>eaonM-yfR3w</videoflash>
===השוואת עוצמות===