::כל <math>x\in X</math> מקיים <math>x\in A</math> '''-או-''' <math>x\in B</math>. בפרט, מאד ייתכן שקיים <math>x\in X</math> כך ש<math>x\notin A</math>. אתה שינית לוגית את המשפט - במקום לומר 'כל איבר שייך לA או B' אמרת 'כל האיברים שייכים לA או כל האיברים שייכים לB'. [[משתמש:ארז שיינר|ארז שיינר]] 01:18, 4 בספטמבר 2010 (IDT)
:::אם כך, רק אם '''''לכל''''' <math>x \in X</math> מתקיים <math>x \in A</math> אז <math>X \subseteq A</math>, ובאיחוד זה לא לכל Xx. הבנתי, תודה לכם!
==הוכחה טריוויאלית==