האם באופן כללי (תרגיל בית / בוחן / מבחן), יש להוכיח את אסוציאטיביות ההפרש הסימטרי כשנתקלים במצב שבו נצטרך להשתמש בו?
==הוכחה שמשהו הוא אגודה, מונויד, חבורה===
כשדורשים מאיתנו להוכיח שקבוצה עם פעולה מסוימת היא אגודה/מונואיד/חבורה, האם צריך להוכיח שהפעולה היא פעולה בינארית? כלומר, צריך להוכיח שיש סגירות?