https://en.wikipedia.org/wiki/Direct_sum
Generalizes Cartesian product to Algebraic structures. Formalized by Categorical product
Sometimes referred to as direct product..