== מחפש דוגמה הערה מוזרה ברשימות ==עמ' 26, "כדי שנוכל לחבר אינסוף קבוצות, יש להניח שכולןכוללות את אפס כאיבר." למה? הרי כתוב שלא סוכמים בכלל אין-סוף, ומה זה משנה אם 0 איבר?
חוג חילופי עם איבר אידמפוטנטי לא הפיך ולא 0== אפשר להעלות פתרון לבונוס?== (לפחות סקיצה?)