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