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