addition

an addition on a set is a function that assigns an element to each pair of elements .
[cite:;taken from @algebra_axler_2024 chapter 1; definition 1.19]