שינויים
/* אלף אפס היא העוצמה האינסופית הקטנה ביותר */
*תהי A קבוצה אינסופית, אזי <math>\aleph_0\leq |A|</math>
*דרך נוספת לזו המופיעה בסרטון:
*תהי A קבוצה אינסופית, ותהי B קבוצה סופית, אזי:
**<math>|A|=|A\cup B|=|A\setminus B|</math>
*דרך נוספת לזו המופיעה בסרטון:
**בהמשך נוכיח כי לכל קבוצה אינסופית <math>B</math> מתקיים כי <math>|B|+|B|=|B|</math>
**לכן <math>|A|\leq |A\cup B|=|A|+|B\setminus A|\leq |A|+|A|=|A|</math> ולפי ק.ש.ב <math>|A|=|A\cup B|</math>.
**כמו כן <math>|A|=|A\setminus B|+|B\cap A|</math>
**כעת <math>|A\setminus B|\leq|A\setminus B|+|B\cap A|\leq |A\setminus B|+|A\setminus B|=|A\setminus B|</math>.
**לכן לפי ק.ש.ב <math>|A|=|A\setminus B|+|B\cap A|=|A\setminus B|</math>
