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

פעולת המצרף מקיימת שלוש תכונות אלגבריות חשובות: היא [[אסוציאטיביות|אסוציאטיבית]] (<math>\ (a \vee b) \vee c = a \vee (b \vee c)</math>), [[קומוטטיביות|קומוטטיבית]] (<math>\ a \vee b = b \vee a</math>), ואידמפוטנטית (<math>\ a \vee a = a</math>). מאידך, בקבוצה עם [[פעולה בינארית]] <math>\ \circ</math> (היינו, של [[הרכבת פונקציות]]) שהיא אסוציאטיבית, קומוטטיבית ואידמפוטנטית, אפשר להגדיר יחס סדר (<math>\ a \leq b</math> אם ורק אם <math>\ a \circ b = a</math>), ואז <math>\ a \circ b</math> הוא המצרף של a ו-b. לכן סריג-למחצה אינו אלא קבוצה עם פעולה אסוציאטיבית, קומוטטיבית ואידמפוטנטית.