סריג (מבנה סדור) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 16:
=== הגדרה אלגברית ===
פעולת המצרף מקיימת שלוש תכונות אלגבריות חשובות: היא [[אסוציאטיביות|אסוציאטיבית]] (<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>\ \bullet</math> המקיימת את שלוש התכונות האלה, אפשר להגדיר יחס סדר (<math>\ a \leq b</math> אם ורק אם <math>\ a \bullet b = a</math>),
באופן דומה לזה, יש התאמה מלאה בין סריגים לבין [[אלגברה בוליאנית|אלגברות בוליאניות]]
== סריגים מודולריים ==
|