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