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