שיחה:סריג (מבנה סדור)

סריג או שריג? Liransh 23:57, 6 בפברואר 2007 (IST)

אני מעדיף סריג (הוא יותר סרוג מאשר משורג). עוזי ו. 00:30, 7 בפברואר 2007 (IST)

"הסריג שמגדיר יחס סדר מלא הוא שלם, אם ורק אם הסדר וההפכי לו שניהם יחסי סדר טובים" - בטוח שהמשפט הזה נכון?

אני לא מכיר את הנושא, אבל לפי מה שכתוב בערך, נראה שיחס סדר מלא הוא שלם אם"ם לכל תת-קבוצה יש אינפימום וסופרמום בסריג - כלומר אם"ם הסדר מקיים את אקסיומת השלמות.

כך גם בויקיפדיה האנגלית: "The unit interval [0,1] and the extended real number line, with the familiar total order and the ordinary suprema and infima. Indeed, a totally ordered set (with its order topology) is compact as a topological space if it is complete as a lattice."

אני מפספס משהו?