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