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

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