שינויים
/* שאלה בקשר לסימן v שפרושו "או", לסימן U שפרושו "איחוד" */
''' הקשר הבינארי "או" הוא לוגי והוא מבטא פסוק שהוא אמת כאשר לפחות אחד משני מרכיביו הוא אמת. (כלומר הסימון AVB עבור A ו-B קבוצות איננו תקין, כי קבוצה לא יכולה להיות אמת או שקר. הפסוק "הקבוצה ריקה" יכול להיות אמת או שקר למשל, לכן "הקבוצה ריקה או הקבוצה איננה ריקה" הוא בהכרח פסוק אמת כי לפחות אחד ממרכיביו אמת).
''' הפעולה הבינארית "איחוד" היא מתורת הקבוצות והיא מתארת את צירופן של שתי קבוצות לכדי קבוצה אחתחדשה.
''' על כן, ניתן לקשר בין שני סימנים אלו באופן הבאע"י מעבר לשייכות לקבוצות אלו: <math>x\in A\bigcup B <=> x\in A \or x\in B</math>
'''באותו אופן הקשר בין "חיתוך" ל"וגם" הינו: <math>x\in A\bigcap B <=> x\in A \and x\in B</math>.
עדי
