: לפעמים יש ברקע חבורה למחצה A עם פעולה משלה, ויש לבדוק האם תת-קבוצה B מהווה חבורה למחצה. במקרה כזה הכוונה היא לפעולה המצומצמת מ-A, כלומר לפונקציה המחזירה עבור שני אברים של B את המכפלה שלהם ב-A; א-פריורי, הפונקציה הזו עלולה להחזיר איברים של A שאינם ב-B, ואז היא אינה פעולה. הפונקציה '''מוגדרת היטב''' על B אם היא מחזירה ערך ב-B לכל שני אברים של B (כלומר, אם הקבוצה B סגורה ביחס לפעולה). מאידך, את האסוציאטיביות אין צורך לבדוק בנפרד, משום שהיא מתקבלת בירושה מ-A. [[משתמש:עוזי ו.|עוזי ו.]] 22:26, 31 באוקטובר 2010 (IST)
לא הבנתי איך אני מבדילה בתרגיל שקיבלנו (למשל בשאלה 1) בין פעולה "נתונה" ל"הצעה לפעולה"?--[[מיוחד:תרומות/93.172.3.238|93.172.3.238]] 03:00, 1 בנובמבר 2010 (IST)