===הגדרה===
קבוצה <math>\mathbb{F}</math> עם זוג פעולות בינאריות <math>(\mathbb{F},\cdot,+)</math> נקראת '''שדה''' אם מתקיימות התכונות הבאות:
# '''סגירות-''' - <math>\forall a,b\in\mathbb{F}:a+b\in\mathbb{F},a\cdot b\in\mathbb{F}</math>. (שימו לב שזה בסך הכל אומר שתוצאת הפעולות הבינאריות נשארת בשדה)# '''קומוטטיביות/חילופיות-''' - <math>\forall a,b\in\mathbb{F}:a+b=b+a,a\cdot b = b\cdot a</math>#'''אסוציאטיביות-''' <math>\forall a,b,c\in\mathbb{F}:(a+b)+c=a+(b+c),(a\cdot b)\cdot c = a\cdot(b\cdot c)</math>