שינויים
/* שאלה בקשר לסימן v שפרושו "או", לסימן U שפרושו "איחוד" */
אם A,B קבוצות, אז להגיד AVB זה כמו להגיד AUB? אם כן, למה?
''' הקשר הבינארי "או" הוא לוגי והוא מבטא משפט בו פסוק שהוא אמת כאשר לפחות אחד משני ארועים מתקייםמרכיביו הוא אמת. (כלומר הסימון AVB עבור A ו-B קבוצות איננו תקין, כי קבוצה לא יכולה להיות אמת או שקר. הפסוק "הקבוצה ריקה" יכול להיות אמת או שקר למשל, לכן "הקבוצה ריקה או הקבוצה איננה ריקה" הוא בהכרח פסוק אמת כי לפחות אחד ממרכיביו אמת).
''' הפעולה הבינארית "איחוד" היא מתורת הקבוצות והיא מתארת את צירופן של שתי קבוצות לכדי קבוצה אחת.