שינויים
/* קבוצות */
===קבוצות===
*הצרן תנאי השקול לכך ש-a שייך לאיחוד של הקבוצות A וB
<math>x\in A\cup B \iff (x\in A) \or (x\in B)</math>
*הצרן תנאי השקול לכך ש-a אינו שייך לאיחוד של הקבוצות A וB
<math>x\notin A\cup B \iff \neg\Big[(x\in A) \or (x\in B)\Big]\iff (x\notin A) \and (x\notin B)</math>
*הצרן תנאי השקול לכך ש-a שייך לחיתוך של הקבוצות A וB
*הצרן תנאי השקול לכך ש-a אינו שייך לחיתוך של הקבוצות A וB