שינויים
/* תרגיל */
אם נסתכל על קבוצה של קבוצות ניתן להגדיר עליה יחס "עוצמות שוות" והוא יהיה יחס רפלקסיבי, סימטרי וטרנזיטיבי. עם זאת, לא ניתן להגדיר יחס זה על כל הקבוצות כולם בשל הסיבה שלא קיימת קבוצת כל הקבוצות.
נראה שימוש בתכונות אלו בתרגילים הבאים.
=== תרגיל ===
תהא <math>(A,\leq)</math> קבוצה סדורה קווית. נגיד שתת קבוצה X של A היא תת קבוצה יורדת אם מתקיים <math>\forall a\in A\forall x\in X a<x to a\in X</math>
===תרגיל ===
