שינויים

**אם קיים <math>m\notin A</math> חסם מלעיל של A כך ש<math>m\in B</math> אזי כל איבר של A אינו חסם מלעיל של B ולכן שייך לB, כלומר <math>A\subseteq B</math>

**אחרת, לכל <math>m\notin A</math> מתקיים כי <math>m\notin B</math>. כלומר <math>\overline{A}\subseteq\overline{B}</math> ולכן <math>B\subseteq A</math>