הגדרה
קבוצה
סגירות
וגם
אסוציאטיביות
וגם
איבר יחידה
קיים
וגם
קיים איבר
הופכי/נגדי
לכל
וגם
לכל
חילופיות/קומוטטיביות
לכל
וגם
לכל
פילוג/דיסטריבוטיביות
מתקיים
NOTE
נניח
, ולכן שדה צריך לפחות שני איברים
קבוצה
וגם
וגם
קיים
וגם
קיים איבר
לכל
וגם
לכל
לכל
וגם
לכל
מתקיים
NOTE
נניח
, ולכן שדה צריך לפחות שני איברים