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