==== תרגיל====
עבור <math>X\subseteq P(\mathbb{N})</math>, נסתכל בקבוצה הסדורה <math>(P(X),\subseteq)</math> וב <math>\{A_i\}_{i\in I}</math> אוסף תתי קבוצות של X.
הוכיחו/הפריכו: אם <math>\cup_{i\in I}A_i \not\in X</math> אזי ל <math>\{A_i\mid i\in I\}</math> אין חסם עליון.