שינויים
/* פתרון */
הערה: שימו לב שעל מנת להוכיח שקבוצה A אינה מוכלת בקבוצה B, יש להראות כי '''קיים''' איבר בA שאינו שייך לB. אם היינו משתמשים בפסוק "כל האיברים בA אינם בB" היינו מקבלים שהקבוצה הריקה לא מוכלת בכל קבוצה, וגם אינה מוכלת בכל קבוצה.
ב. נשים לב שמתקיים: <math>x\in \phi \cap A = \iff \{x:x\in \phi \and x\in A\}iff F \subseteq \{x:land x\in A \phi \}=\phi iff F </math>כלומר ההנחה שיש איברים בחיתוך שקולה לסתירה, ולכן אין שם איברים וזו הקבוצה הריקה.
ג. <math>x\in \phi \cup A = \{x:iff x\in \phi \or x\in A\}= \{x:iff F \lor x\in A \}=iff x\in A </math>
===הכללה לאיחודים וחיתוכים כל שהם===
