בשאלה 2 לא ממש הבנתי- יחסי הסדר המלאים על הקבוצה חייבים להיות יחסי סדר מלאים גם אם לא הייתה נתונה לי קבוצה מסויימת?? למשל היחס A^2<=B^2 הוא בכלליות לאיחס סדר מלא אם A,B שייכים לממשיים אבל בקבוצה הנתונה זה כן יהיה יחס סדר מלא כי יש רק את 4,5,6 לבחור, זה אומר שהיחס הזה למשל הוא יחס סדר מלא על הקבוצה הנתונה??..
'''>> מדובר על יחסים על הקבוצה הנתונה בלבד. שני יחסי סדר מלאים יחשבו זהים אם הם מסדרים את הקבוצה באותו סדר, למשל: {2,4,8} הם אותו יחס סדר מלא ביחס ל <math>\leq</math> וגם ביחס לחלוקה ללא שארית כי: <math>2\leq 4\leq 8</math> וגם <math>2|4|8</math>. שימו לב, יחס מתואר ע"י אוסף הזוגות הסדורים שלו. בדוגמא שני היחסים זהים כי שניהם מתוארים ע"י: <math>{(2,2),(2,4),(2,8),(4,4),(4,8),(8,8)}</math> עדי