:מה שמסומן ב-*** כמובן לא נכון, אבל איך מסבירים את זה שהדבר נכון רק עבור חיתוך ולא איחוד?
::כל <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)
==הוכחה טריוויאלית==