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

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