אם <math>X \subseteq A \bigcap B</math> אז לכל <math>x \in X</math> מתקיים <math>x \in A \bigcap B</math>, דהיינו <math>x \in A</math> וגם <math>x \in B</math>. מכיוון שלכל <math>x \in X</math> מתקיים <math>x \in A</math> אז <math>X \subseteq A</math>, ומכיוון שלכל <math>x \in X</math> מתקיים <math>x \in B</math> אז <math>X \subseteq B</math>. [[משתמש:Adam Chapman|Adam Chapman]] 00:16, 4 בספטמבר 2010 (IDT)
:תודה רבה, אבל: אם <math>X \subseteq A \bigcup B</math> אז לכל <math>x \in X</math> מתקיים <math>x \in A \bigcup B</math>, דהיינו <math>x \in A</math> או <math>x \in B</math>. לכל <math>x \in X</math> מתקיים <math>x \in A</math> ואז*** <math>X \subseteq A</math>, או <math>x \in B</math> ואז*** <math>X \subseteq B</math>.
:תודה רבה, אבל: אם <math>X \subseteq A \bigcup B</math> אז לכל <math>x \in X</math> מתקיים <math>x \in A \bigcup B</math>, דהיינו <math>x \in A</math> או <math>x \in B</math>. לכל <math>x \in X</math> מתקיים <math>x \in A</math> ואז*** <math>X \subseteq A</math>, או <math>x \in B</math> ואז*** <math>X \subseteq B</math>.
:מה שמסומן ב-*** כמובן לא נכון, אבל איך מסבירים את זה שהדבר נכון רק עבור חיתוך ולא איחוד?