The binary operation

\[\forall a, b \in F \> : \> a + b \in F,\]

where	\(a, b\)	are the terms,
	\(a + b\)	is the resulting sum, and
	\(F\)	is the containing field.

---

• Properties
• Synonyms