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\)