תרגיל 3
ג
מחלקת השקילות של קבוצה A הינה אוסף כל הקבוצות הנמצאות ביחס S עם A.
כלומר, אוסף כל הקבוצות כך ש וגם (כלומר סופיות)
כיוון שההפרש בינהן הוא קבוצה סופית, ניתן להוכיח כי כל הקבוצות B המקיימות את זה הן מהצורה
כאשר C קבוצה סופית כלשהי. כיוון שפעולת ההפרש הסימטרי היא הפיכה, כל קבוצה C מייצרת B אחרת.
לכן סה"כ עוצמת מחלקת השקילות שווה למספר תתי הקבוצות הסופיות של הממשיים, ולכן שווה לאלף