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