---

Addition

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