כל מה שרצית לדעת על סריג (מבנה סדור):
בתורת הקבוצות, סריג הוא קבוצה עם יחס סדר חלקי, שבו לכל שני איברים   a , b {\displaystyle \ a,b} יש אינפימום וסופרמום.
פירושו של דבר שיש איבר גדול ביותר מבין כל אלה המקיימים   x ≤ a , b {\displaystyle \ x\leq a,b} , ואיבר קטן ביותר מבין כל אלה המקיימים   a , b ≤ x {\displaystyle \ a,b\leq x} .
בצורה זו מתקבלות שתי פעולות בינאריות על איברי הקבוצה הסדורה: פעולת המצרף (join) שמחזירה לכל זוג איברים את הסופרמום של שניהם.
פעולה זו מסומנת   a ∨ b {\displaystyle \ a\vee b} .
פעולת המפגש (meet) שמחזירה לכל זוג איברים את האינפימום של שניהם.
פעולה זו מסומנת   a ∧ b {\displaystyle \ a\wedge b} .
אחת הדוגמאות הבסיסיות לסריג הוא אוסף תת-הקבוצות של קבוצה X, עם פעולות האיחוד והחיתוך כמצרף ומפגש.
גם אוסף תת-הקבוצות הסופיות הוא סריג.
כל יחס סדר מלא הוא סריג כי בו המצרף של שני איברים הוא הגדול מביניהם, והמפגש של שני איברים הוא הקטן מביניהם.

נלקח מויקיפדיה

הגדרות נוספות הקשורות לסריג (מבנה סדור):
•קבוצות סדורות