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