סריג (מבנה סדור) – הבדלי גרסאות

אחת הדוגמאות הבסיסיות לסריג הוא אוסף תת-הקבוצות של קבוצה X, עם פעולות האיחוד והחיתוך כמצרף ומפגש. גם אוסף תת-הקבוצות הסופיות הוא סריג. כל [[יחס סדר מלא]] הוא סריג כי בו המצרף של שני איברים הוא הגדול מביניהם, והמפגש של שני איברים הוא הקטן מביניהם.

 

 

בסריג אפשר להגדיר מצרף ומפגש של כל [[קבוצה סופית]]. אם לכל קבוצה יש אינפימום וסופרמום הסריג נקרא '''שלם'''. כל סריג שלם הוא '''חסום''': יש בו איבר קטן ביותר (הסופרמום של הקבוצה הריקה), ואיבר גדול ביותר (האינפימום שלה). סריג תת-הקבוצות של X הוא סריג שלם; לא כל אלגברה בוליאנית היא שלמה. הסריג שמגדיר יחס סדר מלא הוא שלם, אם ורק אם הסדר וההפכי לו שניהם [[יחס סדר טוב|יחסי סדר טובים]].