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