שינויים
/* אסוציאטיביות ההפרש הסימטרי */
האם באופן כללי (תרגיל בית / בוחן / מבחן), יש להוכיח את אסוציאטיביות ההפרש הסימטרי כשנתקלים במצב שבו נצטרך להשתמש בו?
* לא, אין צורך. אפשר להסתמך על כל הטענות שהוכחתם בקורסים קודמים. --[[משתמש:לואי פולב|לואי]] 16:50, 16 ביולי 2013 (IDT)
==הוכחה שמשהו הוא אגודה, מונויד, חבורה==
כשדורשים מאיתנו להוכיח שקבוצה עם פעולה מסוימת היא אגודה/מונואיד/חבורה, האם צריך להוכיח שהפעולה היא פעולה בינארית? כלומר, צריך להוכיח שיש סגירות?
