*הצרן תנאי השקול לכך ש-a שייך לחיתוך של הקבוצות A וB
<math>x\in A\cap B \iff (x\in A) \and (x\in B)</math>
*הצרן תנאי השקול לכך ש-a אינו שייך לחיתוך של הקבוצות A וB
<math>x\notin A\cap B \iff \neg\Big[(x\in A) \and (x\in B)\Big]\iff (x\notin A) \or (x\notin B)</math>
הגדרה: קבוצה A מוכלת בקבוצה B אם בB נמצאים כל האיברים מA (למשל הטבעיים מוכלים בשלמים <math>\mathbb{N}\subseteq\mathbb{Z}</math>, והשלמים מוכלים בממשיים <math>\mathbb{Z}\subseteq\mathbb{R}</math>).
*הצרן תנאי השקול לכך ש-C מוכלת בחיתוך של A וB
*הצרן תנאי השקול לכך ש-<math>C אינה מוכלת באיחוד של \subseteq (A וB\cap B)\iff \forall c\in C: c\in (A\cap B) \iff \forall c\in C: (c\in A) \and (c\in B)</math>
(מותר לכם להשתמש בכמתים באופן הבא *הצרן תנאי השקול לכך ש-C אינה מוכלת באיחוד של A וB<math>\neg\Big[C\subseteq (A\cap B)\Big]\iff \neg\Big[\forall ac\in C: (c\in A, ) \and (c\in B)\Big]\iff \exists ac\in C: (c\notin A)\or (c\notin B)</math>)
===שקילות===
