==המשך קבוצות==
===תרגיל===
נתון <math>A=\{\phi\}</math> ונתון <math>B=\{\phi,\{\phi\}\}</math>. סמן את הביטויים הנכונים:
#<math>\phi\subseteq B</math> (כן)
#<math>\phi\in \phi</math> (לא)
#<math>\phi \subseteq \phi</math> (כן)
#<math>A\subseteq B</math> (כן)
#<math>A\in B</math> (כן)
#<math>A\cup B = B</math> (כן)
#<math>A\cap B=\phi</math> (לא)
===תרגיל===
(כי אם <math>x\in C</math> אזי <math>x\in A\cap C</math> סתירה)
<math>x\in A\cap(B\backslash C)\Leftarrow </math>
===תרגיל===
נתונות <math>A=\{2m+1:m\in\mathbb{Z}\}</math>, ו <math>B=\{2m+3:m\in\mathbb{Z}\}</math>. הוכח שA=B.
====פתרון====
נוכיח הכלה דו כיוונית. נניח <math>x\in A</math> לכן קיים מספר שלם m כך ש <math>x=2m+1</math>. קל לראות שמתקיים <math>x=2(m-1)+3</math> אבל אז מכיוון ש m-1 הינו מספר שלם מתקיים <math>x\in B</math> כפי שרצינו.
ההכלה בכיוון ההפוך דומה.
==== משלים ====