Σώμα είναι ένα σύνολο F {\displaystyle \mathbb {F} } αντικειμένων οποιουδήποτε είδους, μαζί με δύο δυαδικές πράξεις + και * ορισμένες στο F {\displaystyle \mathbb {F} }, οι οποίες απεικονίζουν 2 στοιχεία a και b που ανήκουν στο F στα a+b και a*b, επίσης στοιχεία του F. Και ισχύουν οι εξής ιδιότητες: + c = a + {\displaystyle +c=a+} ∃ 0 ∈ F {\displaystyle \exists 0\in \mathbb {F} }, τέτοιο ώστε a + 0 = a, ∀ a ∈ F {\displaystyle a+0=a,\forall a\in \mathbb {F} } για κάθε a {\displaystyle a} που ανήκει στο F {\displaystyle \mathbb {F} }, και ∀ a ∈ F, ∃ b ∈ F s. Wikipedia