Operation that adds elements in a set constituents A set V Each non-necessarily-distinct elements u,v \in V requirements addition on a set V is defined by a function that assigned an element named u+v \in V (its closed), \forall u,v\in V additional information See also addition in \mathbb{F}^n