::לא ייתכנו שני איברים נייטרלים לפעולה אחת. קל להוכיח שאיבר נייטרלי לפעולה הוא יחיד (מה יהיה סכום איברים נייטרלים שונים לחיבור?). אבל הפעולות לא חייבות להיות כמו Z ארבע, יש הרבה מאד דרכים להגדיר את הפעולות בין האיברים. אחת הדרכים תתן שדה. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
אבל לא יכולים להיות איברים כפולים בשדה, כי שדה זה קבוצה, ובקבוצה מורידים איברים כפולים
== רק להיות בטוח ==