אם אנחנו מחלקים קבוצה לתתי קבוצות זרות, היחס שמקשר בין איברי אותה קבוצה הינו יחס שקילויות. האם הכיוון ההפוך גם נכון? כלומר, האם כל יחס שקילויות מחלק קבוצה לתתי קבוצות זרות שאיחודן נותן את הקבוצה כולה.
התשובה איפוא היא כן, יחס שקילויות מחלק קבוצה לתתי קבוצות כאלה (תרגיל קל). ניסיתי להוכיח ונתקעתי.
== מערך תרגיל 7 ==
תרגיל. הוכח שעוצמת קבוצת החזקה של A תמיד גדולה מעוצמתה של A
הוכחה. קל להראות שקיימת העתקה חח"ע ועל בין '''אוסף הפונקציה''' [http://math-wiki.com/images/math/e/4/3/e4369d72e8e1e9c7123028dd815b3c6b.png] (כל קבוצה חלקית אומרת בעצם על כל איבר של A אם הוא שייך (1) או לא שייך (0). למשל '''הפונקציה''' המתאימה לקבוצה הריקה היא פונקצית האפס, והפונקציה המתאימה לקבוצה כולה היא הפונקציה 1).פונקציה זו עומדת בתנאי התרגיל לעיל ולכן עוצמתה גדולה מעוצמת A אבל זהה לעוצמה של קבוצת החזקה, כפי שרצינו.
אשמח להבהרה :
* אוסף הפונקציות - הכוונה כל הפונקציות האפשריות מאיי לקבוצה 0,1 ?
* אוסף הפונקציות שקול לP(A) ? זתאמרת העוצמה שלה שתיים בחזקת איי ? ובגלל זה היא גדולה יותר מהעוצמה של איי ?